The following pages link to (Q3164468):
Displaying 48 items.
- Rational operational models (Q265819) (← links)
- The defect functor of a homomorphism and direct unions (Q269853) (← links)
- Towards a notion of lambda monoid (Q280190) (← links)
- On continuous nondeterminism and state minimality (Q283735) (← links)
- Many-sorted and single-sorted algebras (Q353361) (← links)
- Lifting homotopy \(T\)-algebra maps to strict maps (Q400996) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Algebraic theory of vector-valued integration (Q424559) (← links)
- Long knots and maps between operads (Q441107) (← links)
- Fatal Heyting algebras and forcing persistent sentences (Q454370) (← links)
- Monads with arities and their associated theories (Q456883) (← links)
- Completed power operations for Morava \(E\)-theory (Q498730) (← links)
- Frobenius and the derived centers of algebraic theories (Q522040) (← links)
- Algebra and local presentability: how algebraic are they? (A survey) (Q680309) (← links)
- The realizability of operations on homotopy groups concentrated in two degrees (Q897098) (← links)
- Enriched Stone-type dualities (Q1644968) (← links)
- Exactness of direct limits for abelian categories with an injective cogenerator (Q1739170) (← links)
- Beyond perturbation 1: de Rham spaces (Q1742276) (← links)
- Birkhoff's variety theorem in many sorts (Q1762479) (← links)
- On algebras with effectful iteration (Q1798792) (← links)
- What is a finitely related object, categorically? (Q1937977) (← links)
- A local structure theorem for stable, \(\mathcal{J}\)-simple semigroup biacts (Q2009660) (← links)
- Relative cohomology of algebraic theories (Q2014021) (← links)
- The two-sorted algebraic theory of states, and the universal states of MV-algebras (Q2040522) (← links)
- Accessibility and presentability in 2-categories (Q2161116) (← links)
- A universal algebraic set theory built on mereology with applications (Q2169135) (← links)
- Higher Lawvere theories (Q2173857) (← links)
- Cofibrant generation of pure monomorphisms (Q2193244) (← links)
- General affine adjunctions, Nullstellensätze, and dualities (Q2196331) (← links)
- On stability of exactness properties under the pro-completion (Q2217538) (← links)
- A differential graded model for derived analytic geometry (Q2281339) (← links)
- Congruences of convex algebras. (Q2341527) (← links)
- Morita equivalence for many-sorted enriched theories (Q2374328) (← links)
- A characterisation of algebraic exactness (Q2376585) (← links)
- Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories (Q2397551) (← links)
- Factorization and local presentability in topological and uniform spaces (Q2415930) (← links)
- Categorically algebraic topology versus universal topology (Q2445540) (← links)
- On the nonexistence of elements of Kervaire invariant one (Q2630924) (← links)
- Are locally finite MV-algebras a variety? (Q2664587) (← links)
- Algebraic Databases (Q2981748) (← links)
- A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES (Q4692073) (← links)
- Algebraic Geometry over 𝐶^{∞}-rings (Q5230269) (← links)
- On operads, bimodules and analytic functors (Q5366976) (← links)
- Fibered universal algebra for first-order logics (Q6051097) (← links)
- Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories (Q6116298) (← links)
- GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES (Q6124457) (← links)
- Discrete equational theories (Q6149967) (← links)
- Cartesian double theories: a double-categorical framework for categorical doctrines (Q6492255) (← links)