Foliated categories (French: catégories feuilletées), or simply foliations (not to be confused with the notion of foliations in differential geometry), were introduced by Jean Bénabou in unpublished work dating back to 1984.
They are a weaker structure than fibered categories, but still allow one to test for various standard properties of functors fibre-wise.
A functor makes its domain category a foliated category (over ) if the following conditions hold:
Every morphism in factors as a -vertical morphism (i.e. is an identity morphism in ), followed by a -cartesian morphism , i.e. ,
The class of weak -cartesian morphisms is closed under composition.
If closure under composition is not required, we obtain the notion of prefoliated category.
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, Cartesian functors and foliated categories, talk at Oxford (1 May 2012) [YouTube]
Jean Bénabou, Foncteurs cartésiens et catégories feuilletées, talk at Journée Guitart, Paris (9 November 2012) [YouTube, slides, pdf]
Jean Bénabou, Du vieux et du neuf sur la construction de Grothendieck, talk at Paris-Diderot (March 2019) [YouTube]
(the material on foliated categories – called simply foliations — starts at 1:01:00).
A short summary is in this message on the Category Theory Mailing List.
Last revised on December 28, 2023 at 11:49:33. See the history of this page for a list of all contributions to it.