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
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
(Metric) bisimulation games and real-valued modal logics for coalgebras
Rigidification of algebras over essentially algebraic~theories
Extension groups between atoms in abelian categories
Are Banach spaces monadic?
Maximal exact structures on additive categories revisited
A logical and algebraic characterization of adjunctions between generalized quasi-varieties
Logical quantizations of first-order structures
Multisorted modules and their model theory
Test sets for factorization properties of modules
On finitary functors
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
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
Simplified coalgebraic trace equivalence
A new foundation for finitary corecursion. The locally finite fixpoint and its properties
Sound and complete axiomatization of trace semantics for probabilistic systems
Proper functors and fixed points for finite behaviour
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
Bratteli diagrams via the De Concini-Procesi theorem
Coalgebras in the Dwyer-Kan localization of a model category
Opetopic algebras I: Algebraic structures on opetopic sets
On finitary functors and their presentations
A categorical approach to dynamical quantum groups
Heisenberg-picture quantum field theory
Polyadic sets and homomorphism counting
Decomposing filtered chain complexes: geometry behind barcoding algorithms
Discrete density comonads and graph parameters
Efficient and modular coalgebraic partition refinement
Universal abstract elementary classes and locally multipresentable categories
Schreier split extensions of preordered monoids
On pure derived categories
A categorical theory of patches
Coinductive predicates and final sequences in a fibration
Rational operational models
The derived category with respect to a generator
Some co-Birkhoff type theorems
Pure exact structures and the pure derived category of a scheme
Approximations and adjoints in homotopy categories
Monads with arities and their associated theories
The direct limit closure of perfect complexes
The defect functor of a homomorphism and direct unions
\(\mu\)-abstract elementary classes and other generalizations
On the final sequence of a finitary set functor
Recursively defined metric spaces without contraction
Title not available (Why is that?)
Universal homotopy theories
Implications of large-cardinal principles in homotopical localization
Homotopy theory of nonsymmetric operads
Freyd categories are enriched Lawvere theories
Protolocalisations of homological categories
Category-theoretic aspects of abstract elementary classes
On exact categories and applications to triangulated adjoints and model structures
Remarks on combinatorial and accessible model categories
Modalities in the Stone age: a comparison of coalgebraic logics
Abstract elementary classes and accessible categories
On algebraically exact categories and essential localizations of varieties
Limits and colimits of Hopf algebras
Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
Combining algebraic effects with continuations
\(\mathbf{A}^1\)-homotopy theory of noncommutative motives
Presenting functors on many-sorted varieties and applications
Modules over motivic cohomology
Slices of essentially algebraic categories
Some remarks on a theorem of Bergman
Infinite trees and completely iterative theories: A coalgebraic view
On final coalgebras of continuous functors
On multivarieties and multialgebraic categories
Restriction categories. I: Categories of partial maps
Sobriety and spatiality in varieties of algebras
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
Partial Horn logic and Cartesian categories
On epimorphisms and monomorphisms of Hopf 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)