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.
Recommendations
Cites work
- scientific article; zbMATH DE number 3914531 (Why is no real title available?)
- scientific article; zbMATH DE number 4069155 (Why is no real title available?)
- scientific article; zbMATH DE number 3739796 (Why is no real title available?)
- scientific article; zbMATH DE number 3779585 (Why is no real title available?)
- scientific article; zbMATH DE number 4125646 (Why is no real title available?)
- scientific article; zbMATH DE number 3297895 (Why is no real title available?)
- scientific article; zbMATH DE number 3370546 (Why is no real title available?)
- Categorical logic and type theory
- Categories of continuous functors. I
- Comprehension categories and the semantics of type dependency
- Dictoses
- Feynman categories
- Galois theory and a general notion of central extension
- Higher algebraic K-theory: I
- Homotopy theory for algebras over polynomial monads
- Hopf monads on monoidal categories
- Modular envelopes, OSFT and nonsymmetric (non-\(\Sigma\)) modular operads
- Modular operads
- Operads revisited
- Permutative categories, multicategories and algebraic \(K\)-theory
- Principal bundles as Frobenius adjunctions with application to geometric morphisms
- Pure Galois theory in categories
- Regular patterns, substitudes, Feynman categories and operads
- Representable multicategories
- Resolution of coloured operads and rectification of homotopy algebras
- Séminaire de géométrie algébrique du Bois Marie 1960/61 (SGA 1), dirigé par Alexander Grothendieck. Augmenté de deux exposés de M. Raynaud. Revêtements étales et groupe fondamental. Exposés I à XIII. (Seminar on algebraic geometry at Bois Marie
- The comprehensive factorization and torsors
- The comprehensive factorization of a functor
- The odd origin of Gerstenhaber brackets, Batalin-Vilkovisky operators, and master equations
- The uniqueness of infinite loop space machines
- The universal covering of an inverse semigroup.
Cited in
(14)- The comprehensive factorization of Burroni's T-functors
- Homotopy theory of algebras of substitudes and their localisation
- Variation on a comprehensive theme
- Feynman categories and representation theory
- Comprehensive factorization and I-central extensions
- Categorical notions of fibration
- AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ
- Monotone-light factorization for Kan fibrations of simplicial sets with respect to groupoids
- Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting)
- Modal descent
- Stone duality for spectral sheaves and the patch monad
- scientific article; zbMATH DE number 35096 (Why is no real title available?)
- A detailed look on actions on Hochschild complexes especially the degree 1 coproduct and actions on loop spaces
- Cochain level May-Steenrod operations
This page was built for publication: Comprehensive factorisation systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q680308)
