Monads in double categories
From MaRDI portal
Abstract: We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and define what it means for a double category to admit the construction of free monads. Our main theorem shows that, under some mild conditions, a double category that is a framed bicategory admits the construction of free monads if its horizontal 2-category does. We apply this result to obtain double adjunctions which extend the adjunction between graphs and categories and the adjunction between polynomial endofunctors and polynomial monads.
Recommendations
Cites work
- scientific article; zbMATH DE number 2134022 (Why is no real title available?)
- scientific article; zbMATH DE number 5695342 (Why is no real title available?)
- scientific article; zbMATH DE number 3904807 (Why is no real title available?)
- scientific article; zbMATH DE number 3680046 (Why is no real title available?)
- scientific article; zbMATH DE number 50149 (Why is no real title available?)
- scientific article; zbMATH DE number 3522194 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 2139647 (Why is no real title available?)
- scientific article; zbMATH DE number 1389226 (Why is no real title available?)
- scientific article; zbMATH DE number 3389217 (Why is no real title available?)
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Categorical logic and type theory
- Catégories structurées
- Coherence for tricategories
- Framed bicategories and monoidal fibrations
- Introduction to bicategories
- Model structures on the category of small double categories
- Polynomial functors and polynomial monads
- Pseudo algebras and pseudo double categories
- The formal theory of monads
- The formal theory of monads. II
- Types for Proofs and Programs
- Wellfounded trees in categories
Cited in
(36)- Kleisli and Eilenberg-Moore constructions as parts of biadjoint situations
- Cyclic multicategories, multivariable adjunctions and mates
- The formal theory of multimonoidal monads
- scientific article; zbMATH DE number 2139647 (Why is no real title available?)
- Freely adjoining monoidal duals
- Framed bicategories and monoidal fibrations
- Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories
- A morphism double category and monoidal structure
- scientific article; zbMATH DE number 6981655 (Why is no real title available?)
- scientific article; zbMATH DE number 2172971 (Why is no real title available?)
- Internalization and enrichment via spans and matrices in a tricategory
- scientific article; zbMATH DE number 3964132 (Why is no real title available?)
- The formal theory of relative monads
- Doubles for monoidal categories
- Free globularily generated double categories
- Cartesian double theories: a double-categorical framework for categorical doctrines
- scientific article; zbMATH DE number 7823990 (Why is no real title available?)
- Algebraic Kan extensions in double categories
- The incidence comodule bialgebra of the Baez-Dolan construction
- Double clubs
- Relative monads formalised
- Classifiers for monad morphisms and adjunction morphisms
- Retrocells
- String diagrams for traced and compact categories are oriented 1-cobordisms
- Double power monad preserving adjunctions are Frobenius
- Free Globularly Generated Double Categories II: The Canonical Double Projection
- Polynomial functors and polynomial monads
- Double ad junctions and free monads
- The Gray monoidal product of double categories
- Segal spaces, spans, and semicategories
- Faà di Bruno for operads and internal algebras
- The linear-non-linear substitution 2-monad
- Fundamentals of compositional rewriting theory
- Internal Kleisli categories
- When are enriched strong monads double exponential monads?
- scientific article; zbMATH DE number 4061470 (Why is no real title available?)
This page was built for publication: Monads in double categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q531324)
