scientific article; zbMATH DE number 575948

zbMATH Open0795.18007MaRDI QIDQ4293501FDOQ4293501

Publication date: 26 May 1994

Title of this publication is not available (Why is that?)

Recommendations

Concretely locally presentable and locally generated categories
On continuity of accessible functors
Enriched accessible categories
scientific article; zbMATH DE number 19478
Class-locally presentable and class-accessible categories
scientific article; zbMATH DE number 672104
Mal'cev conditions revisited
Remarks on combinatorial and accessible model categories
Virtual concepts in the theory of accessible categories
Enriched locally generated categories

432 algebraic theories large cardinals measurable cardinals accessible categories categorical model theory locally presentable categories huge cardinals algebraic categories categories of models full Vopĕnka principle Gabriel-Ulmer theorem locally multipresentable categories weak Vopĕnka principle

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Large cardinals (03E55) Research exposition (monographs, survey articles) pertaining to category theory (18-02)

Cited In (only showing first 100 items - show all)

Matlis category equivalences for a ring epimorphism
On stability of exactness properties under the pro-completion
Abelian model structures on categories of quiver representations
Title not available (Why is that?)
A criterion for existence of right‐induced model structures
On Finitary Functors
Duality and contravariant functors in the representation theory of artin algebras
Stabilization of derivators revisited
\(t\)-structures with Grothendieck hearts via functor categories
Dependent products and 1-inaccessible universes
Cohomological Localizations and Set-Theoretical Reflection
Title not available (Why is that?)
Simplified Coalgebraic Trace Equivalence
Rigidification of algebras over essentially algebraic~theories
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
Extension groups between atoms in abelian categories
Are Banach spaces monadic?
Maximal exact structures on additive categories revisited
Logical quantizations of first-order structures
Multisorted modules and their model theory
Test sets for factorization properties of modules
Bratteli diagrams via the De Concini–Procesi theorem
Constructor-based institutions
Finite presentation, the local lifting property, and local approximation properties of operator modules
Monoid properties as invariants of toposes of monoid actions
Covers and direct limits: a contramodule-based approach
Modularity results for interpolation, amalgamation and superamalgamation
Title not available (Why is that?)
Distributed Relation Logic
Weak Vopěnka's principle does not imply Vopěnka's principle
Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
Title not available (Why is that?)
A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
On algebras with effectful iteration
Relative Fourier transforms and expectations on coideal subalgebras
Accessible model categories
A variety theorem for relational universal algebra
Effective codescent morphisms in locally presentable categories
Homotopical algebraic context over differential operators
How accessible are categories of algebras?
Approximate injectivity and smallness in metric-enriched categories
A new foundation for finitary corecursion and iterative algebras
A monoidal analogue of the 2-category anti-equivalence between \(\mathbb{ABEX}\) and \(\mathbb{DEF} \)
Duality theory for enriched Priestley spaces
Monadic forgetful functors and (non-)presentability for \(C^\ast\)- and \(W^\ast\)-algebras
A New Foundation for Finitary Corecursion
Coalgebras in the Dwyer-Kan localization of a model category
(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
Opetopic algebras I: Algebraic structures on opetopic sets
On finitary functors and their presentations
A categorical approach to dynamical quantum groups
A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES
Heisenberg-picture quantum field theory
Polyadic sets and homomorphism counting
Decomposing filtered chain complexes: geometry behind barcoding algorithms
Discrete density comonads and graph parameters
The fiber of functors between categories of algebras
Discrete \(G\)-spectra and embeddings of module spectra
Idempotent functors and localizations in categories of modules and Abelian groups.
Elgot theories: a new perspective of iteration theories (extended abstract)
Higher fundamental functors for simplicial sets
Waldhausen \(K\)-theory of spaces via comodules
Unexpected properties of locally presentable categories
Coalgebraic semantics for timed processes
Title not available (Why is that?)
Algebraic lattices and locally finitely presentable categories
Universal constructions for Hopf algebras.
Model structures on the category of small double categories
Recursive program schemes and context-free monads
Exactness of direct limits in the category of firm modules
On the non-existence of right almost split maps
Title not available (Why is that?)
On pure morphisms in accessible categories
Forking independence from the categorical point of view
An embedding theorem for tangent categories
Gabriel–Ulmer duality and Lawvere theories enriched over a general base
The simplicial model of univalent foundations (after Voevodsky)
Quantum Galois groups of subfactors
Extensivity of categories of relational structures
Adjoint functor theorems for homotopically enriched categories
On an essentially algebraic theory for locally presentable categories
Quasi-coproducts and accessible categories with wide pullbacks
Centers of categorified endomorphism rings
Moduli stacks of algebraic structures and deformation theory
Morita equivalence for many-sorted enriched theories
Solving Algebraic Equations Using Coalgebra
A network-conscious \(\pi\)-calculus and its coalgebraic semantics
Exactness of direct limits for abelian categories with an injective cogenerator
All tilting modules are of countable type
From varieties of algebras to covarieties of coalgebras
μ-Bicomplete Categories and Parity Games
When do completion processes give rise to extensive categories?
Title not available (Why is that?)
Closure properties of \(\varinjlim \mathcal{C}\)
Equational properties of iterative monads
On second-order iterative monads
Skew structures in 2-category theory and homotopy theory
The profinite hull of special groups and local-global principles
Quillen's small object argument in the category of firm modules.
Derived homotopy algebras

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4293501)