The formal theory of relative monads
DOI10.1016/J.JPAA.2024.107676MaRDI QIDQ6496517
Nathanael Arkor, Dylan McDermott
Publication date: 3 May 2024
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
virtual equipmentenriched category theoryskew-monoidal categoryrelative adjunctionformal category theoryrelative monad
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Proarrow equipments, Yoneda structures, KZ doctrines (lax idempotent monads) (18D65) Profunctors (= correspondences, distributors, modules) (18D60) Formal category theory (18D70)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the tensor product of modules over skew monoidal categories
- Skew-monoidal categories and bialgebroids.
- Monads in double categories
- Enhanced 2-categories and limits for lax morphisms
- On the concrete representation of discrete enriched abstract clones
- Notions of computation and monads
- Homotopy theory in general categories
- The geometry of tensor calculus. I
- Idempotent triples and completion
- Yoneda structures on 2-categories
- Gabriel-Ulmer duality for categories enriched in bicategories
- Monoidal bicategories and Hopf algebroids
- Some remarks on finitary and iterative monads
- Skew monoidal categories and skew multicategories
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
- Free skew monoidal categories
- Formal category theory: Adjointness for 2-categories
- Eilenberg-Kelly reloaded
- The Isbell monad
- Skew-closed categories
- Adjoint functors and triples
- Some remarks on triples
- Properties of dense and relative adjoint functors
- Kan extensions in enriched category theory
- The formal theory of monads
- Categories of continuous functors. I
- C-system of a module over a \(Jf\)-relative monad
- Enriched algebraic theories and monads for a system of arities
- Enriched indexed categories
- Double Adjunctions and Free Monads
- Skew monoidales, skew warpings and quantum categories
- Structure maps in group theory
- Elements of ∞-Category Theory
- Monads Need Not Be Endofunctors
- Algebras for combinatorial search
- Introduction to bicategories
- An Algebraic Presentation of Predicate Logic
- Monads need not be endofunctors
- A unified framework for generalized multicategories
- Augmented virtual double categories
- On monads and warpings
- Terminal semantics for codata types in intensional Martin-L\"of type theory
- Formal Categories
- Every Standard Construction is Induced by a Pair of Adjoint Functors
- Structure of categories
- Adjoint triangles
- On Fundamental Constructions and Adjoint Functors
- Remarks on triples in enriched categories
- Localization at Injectives in Complete Categories
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Modules over relative monads for syntax and semantics
- Generalized enrichment of categories
- Flexibly graded monads and graded algebras
- Distributive laws for relative monads
This page was built for publication: The formal theory of relative monads
