Pages that link to "Item:Q687583"

The following pages link to Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads (Q687583):

Displaying 50 items.

• Monad transformers as monoid transformers (Q615955) (← links)
• Equational properties of iterative monads (Q618163) (← links)
• Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads (Q690382) (← links)
• Category theory for operational semantics (Q703525) (← links)
• Limits for lax morphisms (Q816648) (← links)
• An initial algebra approach to term rewriting systems with variable binders (Q853743) (← links)
• Categorical proof theory of classical propositional calculus (Q860833) (← links)
• Discrete Lawvere theories and computational effects (Q860883) (← links)
• Combining algebraic effects with continuations (Q879352) (← links)
• Descent in \(*\)-autonomous categories (Q952244) (← links)
• Icons (Q987490) (← links)
• Bases for parametrized iterativity (Q1004388) (← links)
• On the construction of free algebras for equational systems (Q1014644) (← links)
• Two-dimensional monad theory (Q1121980) (← links)
• Flexible limits for 2-categories (Q1262939) (← links)
• Algebraic structure for bicategory enriched categories (Q1295569) (← links)
• Gabriel-Ulmer duality for categories enriched in bicategories (Q1295729) (← links)
• Tortile tensor categories (Q1321051) (← links)
• Effective descent maps of topological spaces (Q1325818) (← links)
• Enrichment through variation (Q1368592) (← links)
• Restriction categories II: Partial map classification (Q1398462) (← links)
• Glueing and orthogonality for models of linear logic (Q1398466) (← links)
• Modelling environments in call-by-value programming languages. (Q1427853) (← links)
• Premonoidal categories as categories with algebraic structure (Q1605185) (← links)
• A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
• Lax naturality through enrichment (Q1923539) (← links)
• On semiflexible, flexible and pie algebras (Q1946170) (← links)
• Effective codescent morphisms in locally presentable categories (Q1948515) (← links)
• Monads and theories (Q2001598) (← links)
• On finitary functors and their presentations (Q2341699) (← links)
• Azumaya monads and comonads (Q2352961) (← links)
• Lawvere theories enriched over a general base (Q2378550) (← links)
• Two-dimensional monadicity (Q2445311) (← links)
• Lawvere theories, finitary monads and Cauchy-completion (Q2451739) (← links)
• Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
• 2-nerves for bicategories (Q2481128) (← links)
• Coalgebraic semantics for timed processes (Q2495646) (← links)
• Terminal coalgebras and free iterative theories (Q2500475) (← links)
• Combining effects: sum and tensor (Q2500483) (← links)
• Elgot theories: a new perspective of iteration theories (extended abstract) (Q2805168) (← links)
• Two cotensors in one: presentations of algebraic theories for local state and fresh names (Q2805171) (← links)
• Coalgebraic monads (Q2842553) (← links)
• Nominal equational logic (Q2864152) (← links)
• Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
• Equational presentations of functors and monads (Q3005991) (← links)
• Elgot theories: a new perspective on the equational properties of iteration (Q3005993) (← links)
• Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? (Q3178270) (← links)
• A 2-Categories Companion (Q3400012) (← links)
• (Q4362079) (← links)
• Solving Algebraic Equations Using Coalgebra (Q4460687) (← links)