The categories fibred over a fixed category E form a 2-category Fib(E), where the category of morphisms between two fibred categories F and G is defined to be the category CartE(F,G) of cartesian functors from F to G. Similarly the split categories over E form a 2-category Scin(E) (from French catégorie scindée), where the category of morphisms between two split categories F and G is the full sub-category ScinE(F,G) of E-functors from F to G consisting of those functors that transform each transport morphism of F into a transport morphism of G. Each such morphism of split E-categories is also a morphism of E-fibred categories, i.e., ScinE(F,G) ⊂ CartE(F,G).
Τέλεια απομίμησηWikiMatrix WikiMatrix