Commit ed6d211c authored by Guillaume Sabbagh's avatar Guillaume Sabbagh
Browse files

foncteur acyclique en cours

parent 5ef978af
......@@ -535,6 +535,15 @@ class FoncteurAleatoireCatAcycliques(Foncteur):
cat_ordre_connexe2 = CatOrdre(cat_connexe2)
fonct_ordre_connexe = FoncteurAleatoireCatOrdreConnexe(cat_ordre_connexe1,cat_connexe2)
# on a la structure du foncteur, il faut choisir quel morphisme prendre à chaque fois maintenant
# on fait un arbre de composition (un morphisme h a pour fils les morphismes f et g si g o f = h)
# on doit affecter les fils avant le père
arbre = defaultdict(set) # {morph : {morph à traiter avant}}
for morph1 in cat_ordre_connexe1[cat_ordre_connexe1.objets,cat_ordre_connexe1.objets]:
for morph2 in cat_ordre_connexe1[{morph1.cible},cat_ordre_connexe1.objets]:
arbre[
# Foncteur.__init__(self,categorie_indexante,categorie_cible,{obj:random.choice(list(categorie_cible.objets)) for obj in categorie_indexante.objets},dict(),nom)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment