Pages that link to "Item:Q2864158"

The following pages link to The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (Q2864158):

Displaying 49 items.

• Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
• Clones with nullary operations. (Q280187) (← links)
• Towards a notion of lambda monoid (Q280190) (← links)
• Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
• Monads with arities and their associated theories (Q456883) (← links)
• Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147) (← links)
• Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
• Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
• Monads and distributive laws for Rota-Baxter and differential algebras (Q895973) (← links)
• Commutativity (Q899553) (← links)
• A general Galois theory for operations and relations in arbitrary categories (Q1935011) (← links)
• Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
• Monads, partial evaluations, and rewriting (Q2133473) (← links)
• Graded algebraic theories (Q2200837) (← links)
• Elements of a theory of algebraic theories (Q2253182) (← links)
• Lawvere theories, finitary monads and Cauchy-completion (Q2451739) (← links)
• Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579) (← links)
• Stateful runners of effectful computations (Q2520704) (← links)
• Coalgebraic Components in a Many-Sorted Microcosm (Q2888477) (← links)
• Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
• Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
• (Q3121518) (← links)
• Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? (Q3178270) (← links)
• Unifying Theories of Programming with Monads (Q3455643) (← links)
• A GENERAL DUALITY THEORY FOR CLONES (Q4923198) (← links)
• (Q5009440) (← links)
• (Q5009703) (← links)
• Categories with Families: Unityped, Simply Typed, and Dependently Typed (Q5014596) (← links)
• FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729) (← links)
• Enriched Lawvere Theories for Operational Semantics (Q5020957) (← links)
• (Q5028446) (← links)
• String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
• String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
• Metric monads (Q5076388) (← links)
• High-level signatures and initial semantics (Q5079724) (← links)
• Classical lambda calculus in modern dress (Q5269006) (← links)
• Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
• Lawvere Categories as Composed PROPs (Q5739447) (← links)
• (Q5875399) (← links)
• String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)
• Hopf monads: a survey with new examples and applications (Q6050139) (← links)
• From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6093581) (← links)
• GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES (Q6124457) (← links)
• New perspectives on semi-primal varieties (Q6185300) (← links)
• Cartesian double theories: a double-categorical framework for categorical doctrines (Q6492255) (← links)
• Formal model theory and higher topology (Q6561655) (← links)
• Enriching diagrams with algebraic operations (Q6629455) (← links)
• Sum and tensor of quantitative effects (Q6635519) (← links)
• From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6653755) (← links)