Foliated categories (catégories feuilletées) were introduced by Jean Benabou in an ongoing work which started in 1984 and is yet not published. They are a weaker structure than a fibered category, but still allow one to test for various standard properties of functors fibrewise.
The definition goes as follows: a functor makes a foliated category (over ) if every morphism in factors as a -vertical morphism (i.e. is an identity morphism in ), followed by a -cartesian morphism , i.e. , and, further, -cartesian morphisms are closed under composition. (Note that this is the weaker notion of cartesian morphism.)
A morphism between foliated categories (over ) is a functor over that sends cartesian morphisms to cartesian morphisms, and such that for every object of , and morphism in , there is a factorisation , where is vertical in and is cartesian in . Bénabou calls such functors cartesian.
Jean Bénabou, Foncteurs cartésiens et catégories feuilletées (9 novembre 2012, journée Guitart, Paris) YouTube slides
Jean Bénabou, Du vieux et du neuf sur la construction de Grothendieck, March 2019, YouTube (the material on foliated categories—called simply foliations—starts after timestamp 1:01:00).
A short summary is in a message at Category List.
Last revised on August 20, 2022 at 14:42:53. See the history of this page for a list of all contributions to it.