Publication:3164468
From MaRDI portal
zbMath1209.18001MaRDI QIDQ3164468
Jiří Adámek, Jiří Rosický, Enrico M. Vitale
Publication date: 28 October 2010
18C05: Equational categories
18C10: Theories (e.g., algebraic theories), structure, and semantics
08C05: Categories of algebras
18-02: Research exposition (monographs, survey articles) pertaining to category theory
08-02: Research exposition (monographs, survey articles) pertaining to general algebraic systems
Related Items
Unnamed Item, Algebraic data integration, Props in Network Theory, A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES, Metric monads, A functorial approach to monomorphism categories for species I, On sifted colimits in the presence of pullbacks, Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem, Order-enriched solid functors, Algebraic Geometry over 𝐶^{∞}-rings, Classical lambda calculus in modern dress, Quasivarieties and varieties of ordered algebras: regularity and exactness, On operads, bimodules and analytic functors, Fibered universal algebra for first-order logics, Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories, GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES, Discrete equational theories, Rational operational models, The defect functor of a homomorphism and direct unions, Towards a notion of lambda monoid, On continuous nondeterminism and state minimality, Many-sorted and single-sorted algebras, Lifting homotopy \(T\)-algebra maps to strict maps, Modalities in the Stone age: a comparison of coalgebraic logics, Algebraic theory of vector-valued integration, Long knots and maps between operads, Fatal Heyting algebras and forcing persistent sentences, Monads with arities and their associated theories, Completed power operations for Morava \(E\)-theory, Frobenius and the derived centers of algebraic theories, Algebra and local presentability: how algebraic are they? (A survey), The realizability of operations on homotopy groups concentrated in two degrees, Enriched Stone-type dualities, Exactness of direct limits for abelian categories with an injective cogenerator, Beyond perturbation 1: de Rham spaces, Birkhoff's variety theorem in many sorts, On algebras with effectful iteration, What is a finitely related object, categorically?, A local structure theorem for stable, \(\mathcal{J}\)-simple semigroup biacts, Relative cohomology of algebraic theories, The two-sorted algebraic theory of states, and the universal states of MV-algebras, Accessibility and presentability in 2-categories, A universal algebraic set theory built on mereology with applications, Higher Lawvere theories, Cofibrant generation of pure monomorphisms, General affine adjunctions, Nullstellensätze, and dualities, On stability of exactness properties under the pro-completion, A differential graded model for derived analytic geometry, Congruences of convex algebras., Morita equivalence for many-sorted enriched theories, A characterisation of algebraic exactness, Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories, Factorization and local presentability in topological and uniform spaces, Categorically algebraic topology versus universal topology, On the nonexistence of elements of Kervaire invariant one, Are locally finite MV-algebras a variety?, Algebraic Databases
