Theories of analytic monads

DOI10.1017/S0960129513000868zbMath1342.18006arXiv1204.2703MaRDI QIDQ5740404

Stanisław Szawiel, Marek W. Zawadowski

Publication date: 26 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (11)

Algebraic Kan extensions along morphisms of internal algebra classifiers ⋮ Homotopy theory of algebras of substitudes and their localisation ⋮ Actads ⋮ Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category ⋮ Unnamed Item ⋮ Generalized Płonka sums and products ⋮ The monads of classical algebra are seldom weakly Cartesian ⋮ Correction to: ``Injective hulls for ordered algebras ⋮ The formal theory of multimonoidal monads ⋮ Homotopy theory for algebras over polynomial monads ⋮ Monads of regular theories

Cites Work

• Unnamed Item
• The formal theory of monoidal monads
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• On localization and stabilization for factorization systems
• The web monoid and opetopic sets
• Coequalizers and free triples
• Categories of continuous functors. I
• Corrigenda for Connected limits, familial representability and Artin glueing
• Connected limits, familial representability and Artin glueing
• On weak higher-dimensional categories. I. 2
• On weak higher-dimensional categories. I: Part 3

This page was built for publication: Theories of analytic monads