Pages that link to "Item:Q699931"

The following pages link to Variations on algebra: Monadicity and generalisations of equational theories (Q699931):

Displaying 33 items.

• Freyd categories are enriched Lawvere theories (Q280202) (← links)
• A coalgebraic perspective on logical interpretations (Q368477) (← links)
• An initial algebra approach to term rewriting systems with variable binders (Q853743) (← links)
• Partial Horn logic and Cartesian categories (Q866572) (← links)
• Equational theories as congruences of enriched monoids (Q934894) (← links)
• On the construction of free algebras for equational systems (Q1014644) (← links)
• Transfer theorems for \(\pi\)-monads (Q1262311) (← links)
• Algebraic structure for bicategory enriched categories (Q1295569) (← links)
• Modelling environments in call-by-value programming languages. (Q1427853) (← links)
• Premonoidal categories as categories with algebraic structure (Q1605185) (← links)
• Combination problems for commutative/monoidal theories or how algebra can help in equational unification (Q1919702) (← links)
• Lax naturality through enrichment (Q1923539) (← links)
• The monads of classical algebra are seldom weakly Cartesian (Q2255534) (← links)
• Lawvere theories enriched over a general base (Q2378550) (← links)
• Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
• Combining effects: sum and tensor (Q2500483) (← links)
• Two cotensors in one: presentations of algebraic theories for local state and fresh names (Q2805171) (← links)
• Nominal equational logic (Q2864152) (← links)
• The category theoretic understanding of universal algebra: Lawvere theories and monads (Q2864158) (← links)
• Algebras for Parameterised Monads (Q2888473) (← links)
• Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? (Q3178270) (← links)
• Initial Algebra Semantics for Cyclic Sharing Structures (Q3637190) (← links)
• Gabriel–Ulmer duality and Lawvere theories enriched over a general base (Q3638917) (← links)
• Solving Algebraic Equations Using Coalgebra (Q4460687) (← links)
• Algebras, Coalgebras, Monads and Comonads (Q4917035) (← links)
• Composition with Algebra at the Background (Q4928503) (← links)
• Equational Theories of Scattered and Countable Series-Parallel Posets (Q5041243) (← links)
• A categorical view of varieties of ordered algebras (Q5058361) (← links)
• List Objects with Algebraic Structure (Q5111312) (← links)
• Term Equational Systems and Logics (Q5415637) (← links)
• (Q5854545) (← links)
• Presentations and algebraic colimits of enriched monads for a subcategory of arities (Q5872361) (← links)
• Diagrammatic presentations of enriched monads and varieties for a subcategory of arities (Q6077388) (← links)