scientific article; zbMATH DE number 575948
From MaRDI portal
Publication:4293501
zbMATH Open0795.18007MaRDI QIDQ4293501FDOQ4293501
Publication date: 26 May 1994
Title of this publication is not available (Why is that?)
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
- 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
- Final coalgebras and a solution theorem for arbitrary endofunctors
- \(\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
- 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
- A surprising permanence of old motivations (a not-so-rigid story)
- 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
- A projective model structure on pro-simplicial sheaves, and the relative étale homotopy type
- Title not available (Why is that?)
- Spectra as universal objects in categories of supports
- Covariant types
- Cofibrant generation of pure monomorphisms
- Title not available (Why is that?)
- Coalgebra morphisms subsume open maps
- Model topoi and motivic homotopy theory
- On \(\lambda\)-pure acyclic complexes in a Grothendieck category
- Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories
- Purity and homotopy theory of coalgebras
- Bousfield localisation and colocalisation of one-dimensional model structures
- Six model categories for directed homotopy
- Groups with Many Finitary Cohomology Functors
- 𝐾-theory and topological cyclic homology of henselian pairs
- More on orthogonality in locally presentable categories
- METRIC ABSTRACT ELEMENTARY CLASSES AS ACCESSIBLE CATEGORIES
- Homotopical Morita theory for corings
- Enriched Stone-type dualities
- On projectivity in locally presentable categories.
- Algebraic Databases
- Splitting kernels into small summands.
- Simplicial presheaves of coalgebras
- Tameness, powerful images, and large cardinals
- Inductive and nearly inductive sketches
- Effect algebras, presheaves, non-locality and contextuality
- Remarks on derived complete modules and complexes
- Cosheaves
- Approximate injectivity
- Maximal ideals in module categories and applications
- Model structures and relative Gorenstein flat modules and chain complexes
- Flat base change formulas for \((\mathfrak{g}, K)\)-modules over Noetherian rings
- Title not available (Why is that?)
- Maximum deconstructibility in module categories
- A recollement construction of Gorenstein derived categories
- A formula for codensity monads and density comonads
- On abstract data types presented by multiequations
- On Colimits and Elementary Embeddings
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
- On algebras with effectful iteration
- Covering ideals of morphisms and module representations of the quiver \(\mathbb A_2\).
- The Gray tensor product via factorisation
- Smallness in topology
- Quillen-Segal algebras and Stable homotopy theory
- Operadic lifts of the algebra of indexing systems
Recommendations
- Remarks on combinatorial and accessible model categories 👍 👎
- Mal'cev conditions revisited 👍 👎
- Enriched accessible categories 👍 👎
- Class-locally presentable and class-accessible categories 👍 👎
- Enriched Locally Generated Categories 👍 👎
- On continuity of accessible functors 👍 👎
- Virtual concepts in the theory of accessible categories 👍 👎
- Concretely locally presentable and locally generated categories 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
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)
