todo.txt 3.29 KB
Newer Older
Guillaume Sabbagh's avatar
Guillaume Sabbagh committed
1
- Ajouter morphisme -> renvoyer la liste des cycles créés ?
Guillaume Sabbagh's avatar
Limites    
Guillaume Sabbagh committed
2
- Mettre en cache les composées enumérées dans catégorie
3
- tester catégorie cones avec un diagramme où la catégorie indexante n'a pas de flèches (on est censé avoir toutes les permutations de jambes)
Guillaume Sabbagh's avatar
Guillaume Sabbagh committed
4
- Problème dans catégorie aléatoire : un morphisme peut avoir deux inverses (voir s'il y a pas d'autres problèmes du genre)
5
6
- Corriger catégorie aléatoire isomophisme : il faut faire commuter les composantes isomorphes
- Retirer image objets de Parallele
7
8
- Créer deux catégorie, une où toutes les composées sont générées lors de l'enumeration (peu de contrainte de composition) et une plus graphe de composition (bcp de contraintes de composition)
-transformer la liste en tiges en ensemble de tiges
9
- ajouter une méthode dans Diagramme qui renvoie la cat_cone ou cat_cocone si on l'apelle et la stocke dans un attribut une fois qu'on l'a calculée
10

11
12
13
Q : Maximalité des cluster et identité (comment on obtient un cluster identité avec la maximalité ?)
Est-ce que les clusters identités en sont vraiment ?

Guillaume Sabbagh's avatar
Guillaume Sabbagh committed
14
15
16
17
PB avec les bouquets inter : il faut que les bouquets de D1 vers delta(A) soient des cocônes et les bouquets de delta(A) vers D1 sont des cônes (trop restrictif)

1-cocompletion libre
2-categorie fleurie
18
19
3-cluster (connexe au debut)

20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
pb dans les cluster, condition 2 : on peut pas comparer les flèches du cluster les objets de la comma catégorie car dans la comma catégorie les flèches sont associées un objet indexant (important)

REMPLACER TOUTES LES FLECHES D'UN CLUSTER PAR DES TRIPLETS (d,f,e) !
Perspectives

Offrir la possibilité de définir sa propre composition de morphismes quand on fait hériter une nouvelle catégorie.

Catégorie devient catégorie libre engendrée

Nouvelle catégorie est une classe abstraite, contient objets, morphismes, et nécessite la surcharge de call
on a la syntaxe C(a,b) = flèches de a vers b

on garde l'ancien fonctionnement pour la catégorie libre engendrée
pour les autres catégories c'est lors de la création des morphismes particuliers qu'on définit la loi de composition

morphisme contient une source, une cible, un is_identite et un représentant
on doit surcharger __matmul__ pour définir la composition d'un morphisme avec un autre
Guillaume Sabbagh's avatar
Guillaume Sabbagh committed
37
38
39
40
on a la syntaxe g@f <=> gof

envoyer lien
documentation (@, return)
41
42
type helpers

43
44
45
Changer les cluster de transformer_graphviz de Application pour des ovales

Corriger le cas où on supprime un morphisme alors qu'une composée était mappé dessus.
Guillaume Sabbagh's avatar
Guillaume Sabbagh committed
46
47
48
49
50
(par exemple gof = ioh, on supprime h, ioh n'existe plus, il faut que gof soit delinké)

optimiser la recherche des transformations naturelles.
faire un ficher avec des catégories de test
tester la comma categorie avec une cat de diagrammes plutôt qu'un foncteur diagonal
51
52
53
54
55
et un objet plutôt qu'un diagramme objet(faire une categorie sous) voir si ça donne la même chose

Limite et colimite methode de champ perceptif et champt actif

ajouter la convention cat[a,b] pour obtenir les flèches élementaires de a vers b
56
cat[a,b] appelle cat(a,b) par défaut sauf pour le graphe de composition
Guillaume Sabbagh's avatar
Guillaume Sabbagh committed
57

Guillaume Sabbagh's avatar
Guillaume Sabbagh committed
58
59
Identité de CatégorieCluster pas correcte
Il faudrait le cluster engendré par le proto-cluster contenant IdA,IdB
Guillaume Sabbagh's avatar
Guillaume Sabbagh committed
60
faire le matmul de cluster
Guillaume Sabbagh's avatar
Guillaume Sabbagh committed
61
en fait il faudrait pouvoir construire le cluster egendré par un proto-cluster