Algebraic Kan extensions along morphisms of internal algebra classifiers
From MaRDI portal
Publication:278230
DOI10.1515/TMJ-2016-0006zbMATH Open1342.18017arXiv1511.04911OpenAlexW2963818272MaRDI QIDQ278230FDOQ278230
Publication date: 2 May 2016
Published in: Tbilisi Mathematical Journal (Search for Journal in Brave)
Abstract: An algebraic left Kan extension is a left Kan extension which interacts well with the algebraic structure present in the given situation, and these appear in various subjects such as the homotopy theory of operads and in the study of conformal field theories. In the most interesting examples, the functor along which we left Kan extend goes between categories that enjoy universal properties which express the meaning of the calculation we are trying to understand. These universal properties say that the categories in question are universal examples of some categorical structure possessing some kind of internal structure, and so fall within the theory of internal algebra classifiers described in earlier work of the author. In this article conditions of a monad-theoretic nature are identified which give rise to morphisms between such universal objects, which satisfy the key condition of Guitart-exactness, which guarantees the algebraicness of left Kan extending along them. The resulting setting explains the algebraicness of the left Kan extensions arising in operad theory, for instance from the theory of Feynman categories of Kaufmann and Ward, generalisations thereof, and also includes the situations considered by Batanin and Berger in their work on the homotopy theory of algebras of polynomial monads.
Full work available at URL: https://arxiv.org/abs/1511.04911
Loop space machines and operads in algebraic topology (55P48) Enriched categories (over closed or monoidal categories) (18D20)
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?)
- The geometry of tensor calculus. I
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- A general coherence result
- Homotopy theory for algebras over polynomial monads
- Polynomial Functors and Trees
- Two-dimensional monad theory
- Free monoids
- Yoneda structures on 2-categories
- Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
- Codescent objects and coherence
- The Eckmann-Hilton argument and higher operads
- The formal theory of monads
- Yoneda structures from 2-toposes
- Operads as polynomial 2-monads
- Internal algebra classifiers as codescent objects of crossed internal categories
- Regular patterns, substitudes, Feynman categories and operads
- Algebraic Kan extensions in double categories
- Polynomials in categories with pullbacks
- Feynman Categories
- Theories of analytic monads
- Enhanced 2-categories and limits for lax morphisms
- Homotopy-theoretic aspects of 2-monads
- Icons
Cited In (13)
- Regular patterns, substitudes, Feynman categories and operads
- Faà di Bruno for operads and internal algebras
- A categorical approach to the maximum theorem
- Distributive laws via admissibility
- Title not available (Why is that?)
- Sigma limits in 2-categories and flat pseudofunctors
- An operadic proof of Baez-Dolan stabilization hypothesis
- Homotopy theory for algebras over polynomial monads
- A Probability Monad as the Colimit of Spaces of Finite Samples
- Automata and coalgebras in categories of species
- Comonadic base change for enriched categories
- Lawvere theories, finitary monads and Cauchy-completion
- Homotopy theory of algebras of substitudes and their localisation
This page was built for publication: Algebraic Kan extensions along morphisms of internal algebra classifiers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q278230)
