Bicatégorie
concept
structure consistant en une classe d'objets et (entre chaque paire X,Y d'objets) une catégorie C(X,Y), munie de foncteurs de composition C(X,Y)×C(Y,Z)→C(X,Z) tels que leur composition est associative (à un isomorphisme près)
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Bicatégorie
Lien Wikidata : https://www.wikidata.org/wiki/Q4903541
Propriétés
- p279_labels
- n-catégorie faible