Œuvres Complètes Et Commentées, Part 3, Issue 1Cahiers de topologie et géométrie différentielle, 1980 - Mathematics |
Contents
57 Catégories doubles et catégories structurées | 1 |
63 Catégories structurées | 63 |
64 Catégories structurées III Quintettes et applications covariantes | 363 |
4 other sections not shown
Other editions - View all
Common terms and phrases
admet bijection caté catégorie d'homomorphismes catégorie double catégorie inductive catégorie ordonnée catégorie p-structurée catégorie quotient category CHARLES EHRESMANN classe des couples classe multiplicative compatible conditions suivantes corollaire d'après la proposition d'après le théorème déduit définit un foncteur définition Démonstration éléments inversibles engendrée entraînent espèce de structures f₁ foncteur d'homomorphismes saturé foncteur p-structuré functor G₁ G₂ Géométrie Différentielle graphe multiplicatif groupoïde homomorphismes internal isomorphe l'application limite projective loi de composition Math monoïde Montrons morphisms notations p-injection p-noyau P-sous-structure p)-surjection Posons produit fibré naturalisé projection canonique proposition 7 pullbacks quasi-catégorie quintettes quotient faible quotient strict relation d'équivalence relation d'ordre résolvante resp restriction résulte s₁ seulement Soient sous-catégorie pleine sous-classe sous-inductive sous-préinductive structure quasi-quotient structure quotient Supposons surjection théorème Topologie transformation naturelle triplet unités vérifiant les conditions