Monads in double categories

DOI10.1016/j.jpaa.2010.08.003zbMath1225.18003arXiv1006.0797OpenAlexW1994430959WikidataQ61834696 ScholiaQ61834696MaRDI QIDQ531324

Joachim Kock, Thomas M. Fiore, Nicola Gambino

Publication date: 29 April 2011

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

2-categorymonaddouble category

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items

The Gray monoidal product of double categories ⋮ String diagrams for traced and compact categories are oriented 1-cobordisms ⋮ Fundamentals of compositional rewriting theory ⋮ Internalization and enrichment via spans and matrices in a tricategory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories ⋮ Segal spaces, spans, and semicategories ⋮ The incidence comodule bialgebra of the Baez-Dolan construction ⋮ Faà di Bruno for operads and internal algebras ⋮ The formal theory of multimonoidal monads

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pseudo algebras and pseudo double categories
• Model structures on the category of small double categories
• Categorical logic and type theory
• Wellfounded trees in categories
• The formal theory of monads. II
• The formal theory of monads
• Framed bicategories and monoidal fibrations
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Introduction to bicategories
• Coherence for tricategories
• Polynomial functors and polynomial monads
• Catégories structurées
• Types for Proofs and Programs