Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads

DOI10.1016/0022-4049(93)90092-8zbMath0779.18003OpenAlexW2075406361MaRDI QIDQ687583

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

zbMATH Keywords

counit finitary monad finitely-presentable objects locally- finitely-presentable enriched category right adjoint functor of descent type

Mathematics Subject Classification ID

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)

Related Items

Effective descent maps of topological spaces, Relating Coalgebraic Notions of Bisimulation, Lawvere theories enriched over a general base, A unified framework for notions of algebraic theory, Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What?, A categorical view of varieties of ordered algebras, The costructure–cosemantics adjunction for comodels for computational effects, An initial algebra approach to term rewriting systems with variable binders, Finitary monads on the category of posets, Categorical proof theory of classical propositional calculus, Discrete Lawvere theories and computational effects, Finitely Presentable Algebras For Finitary Monads, Enrichment through variation, Presentations and algebraic colimits of enriched monads for a subcategory of arities, Two-dimensional monad theory, Combining algebraic effects with continuations, Lax naturality through enrichment, A complete logic for behavioural equivalence in coalgebras of finitary set functors, Monad transformers as monoid transformers, Equational properties of iterative monads, The linear-non-linear substitution 2-monad, Diagrammatic presentations of enriched monads and varieties for a subcategory of arities, Restriction categories II: Partial map classification, Glueing and orthogonality for models of linear logic, Smart Choices and the Selection Monad, Structured handling of scoped effects, Quasivarieties and varieties of ordered algebras: regularity and exactness, On semiflexible, flexible and pie algebras, Effective codescent morphisms in locally presentable categories, On operads, bimodules and analytic functors, Unnamed Item, Two-dimensional monadicity, Modelling environments in call-by-value programming languages., Notions of computation as monoids, Lawvere theories, finitary monads and Cauchy-completion, Equational presentations of functors and monads, Elgot theories: a new perspective on the equational properties of iteration, Descent in \(*\)-autonomous categories, Free-algebra models for the \(\pi \)-calculus, Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads, Algebras, Coalgebras, Monads and Comonads, Term Equational Systems and Logics, Monads and theories, 2-nerves for bicategories, Coproducts of Ideal Monads, A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors, Category theory for operational semantics, Coalgebraic semantics for timed processes, Terminal coalgebras and free iterative theories, Combining effects: sum and tensor, Unnamed Item, Icons, Restriction categories. I: Categories of partial maps, Unnamed Item, Bases for parametrized iterativity, Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract), Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names, On the construction of free algebras for equational systems, Flexible limits for 2-categories, Solving Algebraic Equations Using Coalgebra, Category Theoretic Models of Data Refinement, Axiomatics for Data Refinement in Call by Value Programming Languages, A 2-Categories Companion, Coalgebraic Monads, Unnamed Item, Algebraic structure for bicategory enriched categories, Gabriel-Ulmer duality for categories enriched in bicategories, On finitary functors and their presentations, Nominal Equational Logic, Unnamed Item, Premonoidal categories as categories with algebraic structure, Azumaya monads and comonads, Tortile tensor categories, Limits for lax morphisms

Cites Work