Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
From MaRDI portal
Publication:687583
DOI10.1016/0022-4049(93)90092-8zbMATH Open0779.18003OpenAlexW2075406361MaRDI QIDQ687583FDOQ687583
Authors: Max Kelly, John Power 
Publication date: 19 October 1993
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(93)90092-8
Recommendations
counitfinitary monadfinitely-presentable objectslocally- finitely-presentable enriched categoryright adjoint functor of descent type
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)
Cites Work
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Title not available (Why is that?)
- Title not available (Why is that?)
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Title not available (Why is that?)
- Title not available (Why is that?)
- Monomorphisms, Epimorphisms, and Pull-Backs
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Title not available (Why is that?)
- Adjoint triangles
- A presentation of topoi as algebraic relative to categories or graphs
- Title not available (Why is that?)
- Title not available (Why is that?)
- An Interpolation Theorem for Adjoint Functors
Cited In (77)
- Descent in \(*\)-autonomous categories
- Monad transformers as monoid transformers
- Terminal coalgebras and free iterative theories
- Elgot theories: a new perspective of iteration theories (extended abstract)
- Restriction categories II: Partial map classification
- Coalgebraic semantics for timed processes
- On operads, bimodules and analytic functors
- Category theory for operational semantics
- Title not available (Why is that?)
- Glueing and orthogonality for models of linear logic
- An initial algebra approach to term rewriting systems with variable binders
- Title not available (Why is that?)
- Combining algebraic effects with continuations
- A 2-categories companion
- Discrete Lawvere theories and computational effects
- Modelling environments in call-by-value programming languages.
- Azumaya monads and comonads
- Restriction categories. I: Categories of partial maps
- Icons
- Two-dimensional monad theory
- Bases for parametrized iterativity
- Algebraic structure for bicategory enriched categories
- Gabriel-Ulmer duality for categories enriched in bicategories
- Title not available (Why is that?)
- Effective descent maps of topological spaces
- Monads and theories
- Solving Algebraic Equations Using Coalgebra
- A unified framework for notions of algebraic theory
- Two-dimensional monadicity
- Premonoidal categories as categories with algebraic structure
- Term equational systems and logics (extended abstract)
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors
- Algebras, coalgebras, monads and comonads
- Lax naturality through enrichment
- Category theoretic understandings of universal algebra and its dual: monads and Lawvere theories, comonads and what?
- Title not available (Why is that?)
- Equational properties of iterative monads
- Free-algebra models for the \(\pi \)-calculus
- Categorical proof theory of classical propositional calculus
- Combining effects: sum and tensor
- On the construction of free algebras for equational systems
- The linear-non-linear substitution 2-monad
- Enrichment through variation
- Nominal equational logic
- Finitely Presentable Algebras For Finitary Monads
- Flexible limits for 2-categories
- Quasivarieties and varieties of ordered algebras: regularity and exactness
- Coalgebraic monads
- A categorical view of varieties of ordered algebras
- Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
- A complete logic for behavioural equivalence in coalgebras of finitary set functors
- 2-nerves for bicategories
- Effective codescent morphisms in locally presentable categories
- On semiflexible, flexible and pie algebras
- Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
- Equational presentations of functors and monads
- Limits for lax morphisms
- Tortile tensor categories
- Lawvere theories enriched over a general base
- On finitary functors and their presentations
- Lawvere theories, finitary monads and Cauchy-completion
- Presentations and algebraic colimits of enriched monads for a subcategory of arities
- Coproducts of Ideal Monads
- Elgot theories: a new perspective on the equational properties of iteration
- Title not available (Why is that?)
- Title not available (Why is that?)
- Structured handling of scoped effects
- Smart Choices and the Selection Monad
- Diagrammatic presentations of enriched monads and varieties for a subcategory of arities
- Stone duality for relations
- Two cotensors in one: presentations of algebraic theories for local state and fresh names
- Finitary monads on the category of posets
- Axiomatics for data refinement in call by value programming languages
- Category theoretic models of data refinement
- Notions of computation as monoids
- Cartesian double theories: a double-categorical framework for categorical doctrines
- The costructure–cosemantics adjunction for comodels for computational effects
This page was built for publication: Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q687583)
