Comprehensive factorisation systems

DOI10.1515/TMJ-2017-0112zbMATH Open1397.18004arXiv1710.09438OpenAlexW3103701609MaRDI QIDQ680308FDOQ680308

Clemens Berger, Ralph M. Kaufmann

Publication date: 23 January 2018

Published in: Tbilisi Mathematical Journal (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1710.09438

zbMATH Keywords

Galois theorymodular operaduniversal coveringcomprehension schemeFeynman categoryorthogonal factorisation system

Mathematics Subject Classification ID

Separable extensions, Galois theory (12F10) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Functor categories, comma categories (18A25)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categorical logic and type theory
• 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 1960/61 (SGA 1), directed by Alexander Grothendieck. Enlarged by two reports of M. Raynaud. Ètale coverings and fundamental group)
• Categories of continuous functors. I
• Higher algebraic K-theory: I
• The comprehensive factorization of a functor
• Homotopy theory for algebras over polynomial monads
• Modular operads
• Permutative categories, multicategories and algebraic \(K\)-theory
• Representable multicategories
• Regular patterns, substitudes, Feynman categories and operads
• Feynman Categories
• Pure Galois theory in categories
• Galois theory and a general notion of central extension
• Modular envelopes, OSFT and nonsymmetric (non-\(\Sigma\)) modular operads
• Comprehension categories and the semantics of type dependency
• Hopf monads on monoidal categories
• The universal covering of an inverse semigroup.
• The odd origin of Gerstenhaber brackets, Batalin-Vilkovisky operators, and master equations
• The uniqueness of infinite loop space machines
• Operads Revisited
• Dictoses
• Principal bundles as Frobenius adjunctions with application to geometric morphisms

Cited In (9)

• Categorical notions of fibration
• Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting)
• Stone duality for spectral sheaves and the patch monad
• Feynman categories and representation theory
• A detailed look on actions on Hochschild complexes especially the degree 1 coproduct and actions on loop spaces
• Title not available (Why is that?)
• The comprehensive factorization of Burroni's T-functors
• Cochain level May-Steenrod operations
• Homotopy theory of algebras of substitudes and their localisation

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)