scientific article
From MaRDI portal
Publication:3156508
zbMath1062.18004MaRDI QIDQ3156508
Publication date: 10 January 2005
Full work available at URL: http://www.emis.de/journals/TAC/reprints/articles/5/tr5abs.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (36)
Exponential objects ⋮ On the relation between continuous and combinatorial ⋮ Coalgebraic Components in a Many-Sorted Microcosm ⋮ Clones with nullary operations. ⋮ Towards a notion of lambda monoid ⋮ Morita equivalence for many-sorted enriched theories ⋮ On exponentiability of étale algebraic homomorphisms ⋮ Reactive systems, (semi-)saturated semantics and coalgebras on presheaves ⋮ The module theory of semisymmetric quasigroups, totally symmetric quasigroups, and triple systems ⋮ The solution to the embedding problem of a (differential) Lie algebra into its Wronskian envelope ⋮ Functional distribution monads in functional-analytic contexts ⋮ Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category ⋮ Fibered universal algebra for first-order logics ⋮ Differential (Lie) algebras from a functorial point of view ⋮ Monads and distributive laws for Rota-Baxter and differential algebras ⋮ Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories ⋮ Commutativity ⋮ Monoidal indeterminates and categories of possible worlds ⋮ Quasivarieties and varieties of ordered algebras: regularity and exactness ⋮ Higher-dimensional normalisation strategies for acyclicity ⋮ Lawvere theories, finitary monads and Cauchy-completion ⋮ Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem ⋮ Term Equational Systems and Logics ⋮ Elements of a theory of algebraic theories ⋮ Lawvere Categories as Composed PROPs ⋮ A general method for building reflections ⋮ Commutants for enriched algebraic theories and monads ⋮ Categorical pullbacks ⋮ Lawvere theories and C-systems ⋮ Admissible Galois structures on the categories dual to some varieties of universal algebras ⋮ On the algebraic structure of declarative programming languages ⋮ Realms: A Structure for Consolidating Knowledge about Mathematical Theories ⋮ Corelations are the prop for extraspecial commutative Frobenius monoids ⋮ Bifold algebras and commutants for enriched algebraic theories ⋮ Monads of regular theories ⋮ Classical lambda calculus in modern dress
This page was built for publication:
