Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
From MaRDI portal
(Redirected from Publication:687583)
Recommendations
Cites work
- scientific article; zbMATH DE number 3855352 (Why is no real title available?)
- scientific article; zbMATH DE number 4165146 (Why is no real title available?)
- scientific article; zbMATH DE number 3904807 (Why is no real title available?)
- scientific article; zbMATH DE number 3971007 (Why is no real title available?)
- scientific article; zbMATH DE number 3771857 (Why is no real title available?)
- scientific article; zbMATH DE number 3259916 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- A presentation of topoi as algebraic relative to categories or graphs
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Adjoint triangles
- An Interpolation Theorem for Adjoint Functors
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Monomorphisms, Epimorphisms, and Pull-Backs
Cited in
(78)- Two-dimensional monad theory
- Bases for parametrized iterativity
- Azumaya monads and comonads
- Restriction categories. I: Categories of partial maps
- Descent in \(*\)-autonomous categories
- Premonoidal categories as categories with algebraic structure
- A 2-categories companion
- Two-dimensional monadicity
- On operads, bimodules and analytic functors
- Category theory for operational semantics
- On the construction of free algebras for equational systems
- Monad transformers as monoid transformers
- Nominal equational logic
- Equational properties of iterative monads
- Finitely presentable algebras for finitary monads
- Equational presentations of functors and monads
- Terminal coalgebras and free iterative theories
- Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
- Effective descent maps of topological spaces
- Coalgebraic semantics for timed processes
- Presentations and algebraic colimits of enriched monads for a subcategory of arities
- scientific article; zbMATH DE number 7559272 (Why is no real title available?)
- Flexible limits for 2-categories
- scientific article; zbMATH DE number 6740664 (Why is no real title available?)
- Icons
- Monads and theories
- Effective codescent morphisms in locally presentable categories
- Combining algebraic effects with continuations
- Quasivarieties and varieties of ordered algebras: regularity and exactness
- Coproducts of Ideal Monads
- Lawvere theories enriched over a general base
- Algebras, coalgebras, monads and comonads
- On semiflexible, flexible and pie algebras
- An initial algebra approach to term rewriting systems with variable binders
- Discrete Lawvere theories and computational effects
- A complete logic for behavioural equivalence in coalgebras of finitary set functors
- Algebraic structure for bicategory enriched categories
- Gabriel-Ulmer duality for categories enriched in bicategories
- Categorical proof theory of classical propositional calculus
- Free-algebra models for the \(\pi \)-calculus
- Elgot theories: a new perspective of iteration theories (extended abstract)
- Lax naturality through enrichment
- On finitary functors and their presentations
- Solving Algebraic Equations Using Coalgebra
- Term equational systems and logics (extended abstract)
- Modelling environments in call-by-value programming languages.
- The linear-non-linear substitution 2-monad
- Lawvere theories, finitary monads and Cauchy-completion
- Category theoretic understandings of universal algebra and its dual: monads and Lawvere theories, comonads and what?
- Restriction categories II: Partial map classification
- Enrichment through variation
- Coalgebraic monads
- Combining effects: sum and tensor
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors
- Tortile tensor categories
- scientific article; zbMATH DE number 1080905 (Why is no real title available?)
- A unified framework for notions of algebraic theory
- scientific article; zbMATH DE number 7577567 (Why is no real title available?)
- A categorical view of varieties of ordered algebras
- How many adjunctions give rise to the same monad?
- Elgot theories: a new perspective on the equational properties of iteration
- Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
- 2-nerves for bicategories
- On descent cohomology
- scientific article; zbMATH DE number 2248151 (Why is no real title available?)
- Glueing and orthogonality for models of linear logic
- Limits for lax morphisms
- Structured handling of scoped effects
- Finitary monads on the category of posets
- Stone duality for relations
- Axiomatics for data refinement in call by value programming languages
- Cartesian double theories: a double-categorical framework for categorical doctrines
- The costructure–cosemantics adjunction for comodels for computational effects
- Category theoretic models of data refinement
- Diagrammatic presentations of enriched monads and varieties for a subcategory of arities
- Two cotensors in one: presentations of algebraic theories for local state and fresh names
- Smart Choices and the Selection Monad
- Notions of computation as monoids
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)
