Monads in double categories
From MaRDI portal
Publication:531324
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
Related Items (14)
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 ⋮ Unnamed Item ⋮ The incidence comodule bialgebra of the Baez-Dolan construction ⋮ Cartesian double theories: a double-categorical framework for categorical doctrines ⋮ The formal theory of relative monads ⋮ 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
This page was built for publication: Monads in double categories
