The following pages link to (Q3156508):
Displayed 36 items.
- Exponential objects (Q271905) (← links)
- Clones with nullary operations. (Q280187) (← links)
- Towards a notion of lambda monoid (Q280190) (← links)
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Higher-dimensional normalisation strategies for acyclicity (Q456807) (← links)
- Commutants for enriched algebraic theories and monads (Q722250) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Differential (Lie) algebras from a functorial point of view (Q895968) (← links)
- Monads and distributive laws for Rota-Baxter and differential algebras (Q895973) (← links)
- Commutativity (Q899553) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Functional distribution monads in functional-analytic contexts (Q1678156) (← links)
- Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category (Q1681852) (← links)
- A general method for building reflections (Q2015819) (← links)
- Admissible Galois structures on the categories dual to some varieties of universal algebras (Q2048249) (← links)
- Bifold algebras and commutants for enriched algebraic theories (Q2105667) (← links)
- The module theory of semisymmetric quasigroups, totally symmetric quasigroups, and triple systems (Q2164986) (← links)
- Elements of a theory of algebraic theories (Q2253182) (← links)
- Monads of regular theories (Q2350311) (← links)
- On the relation between continuous and combinatorial (Q2363407) (← links)
- Morita equivalence for many-sorted enriched theories (Q2374328) (← links)
- On exponentiability of étale algebraic homomorphisms (Q2376569) (← links)
- Lawvere theories, finitary monads and Cauchy-completion (Q2451739) (← links)
- Categorical pullbacks (Q2515740) (← links)
- Coalgebraic Components in a Many-Sorted Microcosm (Q2888477) (← links)
- Corelations are the prop for extraspecial commutative Frobenius monoids (Q2969088) (← links)
- The solution to the embedding problem of a (differential) Lie algebra into its Wronskian envelope (Q4567803) (← links)
- Lawvere theories and C-systems (Q4959711) (← links)
- Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem (Q5157915) (← links)
- Classical lambda calculus in modern dress (Q5269006) (← links)
- Quasivarieties and varieties of ordered algebras: regularity and exactness (Q5361148) (← links)
- Term Equational Systems and Logics (Q5415637) (← links)
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories (Q5495928) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- Fibered universal algebra for first-order logics (Q6051097) (← links)
- Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories (Q6116298) (← links)