scientific article

Jiří Adámek, Jiří Rosický, Enrico M. Vitale

Publication date: 28 October 2010

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Equational categories (18C05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of algebras (08C05) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Related Items (57)

Rational operational models ⋮ The defect functor of a homomorphism and direct unions ⋮ Towards a notion of lambda monoid ⋮ On continuous nondeterminism and state minimality ⋮ Morita equivalence for many-sorted enriched theories ⋮ On the nonexistence of elements of Kervaire invariant one ⋮ A characterisation of algebraic exactness ⋮ Unnamed Item ⋮ Enriched Stone-type dualities ⋮ Accessibility and presentability in 2-categories ⋮ Metric monads ⋮ Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories ⋮ Many-sorted and single-sorted algebras ⋮ A universal algebraic set theory built on mereology with applications ⋮ Higher Lawvere theories ⋮ Are locally finite MV-algebras a variety? ⋮ Algebraic data integration ⋮ A functorial approach to monomorphism categories for species I ⋮ Factorization and local presentability in topological and uniform spaces ⋮ Lifting homotopy \(T\)-algebra maps to strict maps ⋮ Fibered universal algebra for first-order logics ⋮ On sifted colimits in the presence of pullbacks ⋮ What is a finitely related object, categorically? ⋮ The realizability of operations on homotopy groups concentrated in two degrees ⋮ Cofibrant generation of pure monomorphisms ⋮ 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 ⋮ General affine adjunctions, Nullstellensätze, and dualities ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Quasivarieties and varieties of ordered algebras: regularity and exactness ⋮ Algebraic theory of vector-valued integration ⋮ On operads, bimodules and analytic functors ⋮ Long knots and maps between operads ⋮ Fatal Heyting algebras and forcing persistent sentences ⋮ Monads with arities and their associated theories ⋮ Categorically algebraic topology versus universal topology ⋮ On stability of exactness properties under the pro-completion ⋮ Exactness of direct limits for abelian categories with an injective cogenerator ⋮ Completed power operations for Morava \(E\)-theory ⋮ Beyond perturbation 1: de Rham spaces ⋮ Algebra and local presentability: how algebraic are they? (A survey) ⋮ Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem ⋮ Frobenius and the derived centers of algebraic theories ⋮ Birkhoff's variety theorem in many sorts ⋮ A local structure theorem for stable, \(\mathcal{J}\)-simple semigroup biacts ⋮ Relative cohomology of algebraic theories ⋮ Props in Network Theory ⋮ A differential graded model for derived analytic geometry ⋮ A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES ⋮ On algebras with effectful iteration ⋮ The two-sorted algebraic theory of states, and the universal states of MV-algebras ⋮ Order-enriched solid functors ⋮ Algebraic Geometry over 𝐶^{∞}-rings ⋮ Congruences of convex algebras. ⋮ Algebraic Databases ⋮ Classical lambda calculus in modern dress

This page was built for publication: