Pages that link to "Item:Q2864158"
From MaRDI portal
The following pages link to The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (Q2864158):
Displayed 45 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)
- Structured handling of scoped effects (Q6166800) (← links)
- New perspectives on semi-primal varieties (Q6185300) (← links)