scientific article; zbMATH DE number 575948
zbMATH Open0795.18007MaRDI QIDQ4293501FDOQ4293501
Authors: Jiří Adámek, Jiří Rosický
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
432algebraic theorieslarge cardinalsmeasurable cardinalsaccessible categoriescategorical model theorylocally presentable categorieshuge cardinalsalgebraic categoriescategories of modelsfull Vopĕnka principleGabriel-Ulmer theoremlocally multipresentable categoriesweak Vopĕnka principle
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)
- Minimal accessible categories
- Singular compactness and definability for \(\Sigma\)-cotorsion and Gorenstein modules
- Cellular categories
- Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories
- Syntactic characterizations of various classes of locally presentable categories
- Enriched regular theories
- Combinatorics of labelling in higher-dimensional automata
- Are all localizing subcategories of stable homotopy categories coreflective?
- Gabriel-Ulmer duality for topoi and its relation with site presentations
- On the axiomatisability of the dual of compact ordered spaces
- Locally finitely presented categories of sheaves
- \(\lambda\)-presentable morphisms, injectivity and (weak) factorization systems
- Model structures for coalgebras
- Algebraic theories of quasivarieties
- A categorical study on the finiteness of specifications
- Model-theoretic imaginaries and coherent sheaves
- Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories
- Title not available (Why is that?)
- On dualizability of braided tensor categories
- Essential pure monomorphisms of sheaves of group actions.
- Galois covering of pure-semisimple categories
- Descent in locally presentable categories
- Discrete Lawvere theories and computational effects
- Purity and injectivity in accessible categories
- Covers in finitely accessible categories
- Tannaka duality for Maschkean categories
- On reflective subcategories of varieties
- A COCOMPLETE BUT NOT COMPLETE ABELIAN CATEGORY
- Global group laws and equivariant bordism rings
- Cotilting sheaves on Noetherian schemes
- Combinatorial and accessible weak model categories
- Bases for parametrized iterativity
- Title not available (Why is that?)
- Monads and theories
- Epireflections and supercompact cardinals
- A coalgebraic semantics for causality in Petri nets
- When do completion processes give rise to extensive categories?
- Pure morphisms in pro-categories
- On objects with a semilocal endomorphism rings in finitely accessible additive categories
- Flow does not model flows up to weak dihomotopy
- Quasivarieties and varieties of ordered algebras: regularity and exactness
- A categorical view of varieties of ordered algebras
- The universal exponentiable arrow
- Addendum to ``Direct limits in the heart of a t-structure: the case of a torsion pair
- Embedding theorems for Janelidze's matrix conditions
- Base modules for parametrized iterativity
- Algebras with parametrized iterativity
- Class-locally presentable and class-accessible categories
- Revisiting causality, coalgebraically
- Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces
- Enriched Lawvere Theories for Operational Semantics
- A simple characterization of theories of varieties
- On a fat small object argument
- On linear exactness properties
- Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem
- 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
- Weak saturation and weak amalgamation property
- 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
- 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
- Coalgebraic monads
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)