Algebraic Kan extensions along morphisms of internal algebra classifiers

DOI10.1515/tmj-2016-0006zbMath1342.18017arXiv1511.04911OpenAlexW2963818272MaRDI QIDQ278230

Mark Weber

Publication date: 2 May 2016

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

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

zbMATH Keywords

operads2-monadsexact squaresinternal algebrasKan extensionsmodular envelope

Mathematics Subject Classification ID

Loop space machines and operads in algebraic topology (55P48) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (10)

Sigma limits in 2-categories and flat pseudofunctors ⋮ Homotopy theory of algebras of substitudes and their localisation ⋮ Comonadic base change for enriched categories ⋮ An operadic proof of Baez-Dolan stabilization hypothesis ⋮ A categorical approach to the maximum theorem ⋮ Regular patterns, substitudes, Feynman categories and operads ⋮ Distributive laws via admissibility ⋮ Faà di Bruno for operads and internal algebras ⋮ A Probability Monad as the Colimit of Spaces of Finite Samples ⋮ Homotopy theory for algebras over polynomial monads

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Enhanced 2-categories and limits for lax morphisms
• Homotopy-theoretic aspects of 2-monads
• Icons
• A general coherence result
• Two-dimensional monad theory
• The geometry of tensor calculus. I
• 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
• Homotopy theory for algebras over polynomial monads
• Polynomial Functors and Trees
• 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
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Theories of analytic monads

This page was built for publication: Algebraic Kan extensions along morphisms of internal algebra classifiers