Comprehensive factorisation systems

Abstract We establish a correspondence between consistent comprehension schemes and complete orthogonal factorisation systems. The comprehensive factorisation of a functor between small categories arises in this way. Similar factorisation systems exist for the categories of topological spaces, simplicial sets, small multicategories and Feynman categories. In each case comprehensive factorisation induces a natural notion of universal covering, leading to a Galois-type definition of fundamental group for based objects of the category.

[1]  Peter Gabriel,et al.  Calculus of Fractions and Homotopy Theory , 1967 .

[2]  A. Grothendieck.  Revetements etales et groupe fondamental , 1971 .

[3]  G. M. Kelly,et al.  Categories of continuous functors, I , 1972 .

[4]  Ross Street,et al.  The comprehensive factorization of a functor , 1973 .

[5]  Jon P. May,et al.  THE UNIQUENESS OF INFINITE LOOP SPACE MACHINES , 1978 .

[6]  Michael Barr,et al.  On locally simply connected toposes and their fundamental groups , 1981 .

[7]  G. M. Kelly,et al.  Reflective subcategories, localizations and factorizationa systems , 1985, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.

[8]  D. Bourn.  The shift functor and the comprehensive factorization for internal groupoids , 1987 .

[9]  Ieke Moerdijk,et al.  Prodiscrete groups and Galois toposes , 1989 .

[10]  George Janelidze,et al.  Pure Galois theory in categories , 1990 .

[11]  Christian Bonatti,et al.  Deformations de feuilletages , 1990 .

[12]  Bart Jacobs.  Comprehension Categories and the Semantics of Type Dependency , 1993, Theor. Comput. Sci..

[13]  G. M. Kelly,et al.  Galois theory and a general notion of central extension , 1994 .

[14]  M. M. KAPRANOVwhere.  Modular Operads , 1994 .

[15]  J. Rada,et al.  Reflective subcategories , 2000, Glasgow Mathematical Journal.

[16]  Bart Jacobs,et al.  Categorical Logic and Type Theory , 2001, Studies in logic and the foundations of mathematics.

[17]  I. Moerdijk,et al.  RESOLUTION OF COLOURED OPERADS AND RECTIFICATION OF HOMOTOPY ALGEBRAS , 2005, math/0512576.

[18]  A. Kuku,et al.  Higher Algebraic K-Theory , 2006 .

[19]  E. Getzler.  Operads revisited , 2007, math/0701767.

[20]  Michael A. Mandell,et al.  Permutative categories, multicategories and algebraicK–theory , 2007, Algebraic & Geometric Topology.

[21]  Benjamin Steinberg,et al.  The Universal Covering of an Inverse Semigroup , 2010, Appl. Categorical Struct..

[22]  Ross Street,et al.  The Comprehensive factorisation and torsors , 2010 .

[23]  Alexis Virelizier,et al.  Hopf monads on monoidal categories , 2010, 1003.1920.

[24]  W. Marsden.  I and J , 2012 .

[25]  Benjamin C. Ward,et al.  The odd origin of Gerstenhaber brackets, Batalin-Vilkovisky operators, and master equations , 2012, 1208.5543.

[26]  Homotopy theory for algebras over polynomial monads , 2013, 1305.0086.

[27]  Martin Markl,et al.  Modular envelopes, OSFT and nonsymmetric (non-$\Sigma$) modular operads , 2014, 1410.3414.

[28]  M. Batanin,et al.  Regular patterns, substitudes, Feynman categories and operads , 2015, 1510.08934.

[29]  C. Townsend.  Principal bundles as Frobenius adjunctions with application to geometric morphisms , 2014, Mathematical Proceedings of the Cambridge Philosophical Society.

[30]  R. Kaufmann,et al.  Decorated Feynman Categories , 2016, 1602.00823.

[31]  Benjamin C. Ward,et al.  Feynman Categories , 2013, Astérisque.