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 24 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)
- 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)
- 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)
- 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)