Publication:4293501
From MaRDI portal
zbMath0795.18007MaRDI QIDQ4293501
Publication date: 26 May 1994
432; measurable cardinals; algebraic theories; large 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
03G30: Categorical logic, topoi
03E55: Large cardinals
18C10: Theories (e.g., algebraic theories), structure, and semantics
18-02: Research exposition (monographs, survey articles) pertaining to category theory
Related Items
Unnamed Item, Finitary sketches, Accessible categories, saturation and categoricity, Left-determined model categories and universal homotopy theories, Solving Algebraic Equations Using Coalgebra, Unnamed Item, Unnamed Item, Coproducts of Ideal Monads, Unnamed Item, μ-Bicomplete Categories and Parity Games, Unnamed Item, Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras, Finitary sketches and finitely accessible categories, Theories of presheaf type, On a problem of Gabriel and Ulmer, Syntactic characterizations of various classes of locally presentable categories, When do completion processes give rise to extensive categories?, Petr Vopěnka (*16. 5. 1935), The strength of Mac Lane set theory, On multivarieties and multialgebraic categories, On algebraically exact categories and essential localizations of varieties, Sheafifiable homotopy model categories. II, Universal homotopy theories, Witt vectors and Tambara functors, On the final sequence of a finitary set functor, Generalized sketches as a framework for completeness theorems. I-III, Syntactic characterizations of closure under pullbacks and of locally polypresentable categories, Proving semantical equivalence of data specifications, Finite models of sketches, On regular monomorphisms in weakly locally presentable categories, The fiber of functors between categories of algebras, \(\lambda\)-presentable morphisms, injectivity and (weak) factorization systems, Discrete Lawvere theories and computational effects, On realizing diagrams of \(\Pi\)-algebras, Rigidification of algebras over multi-sorted theories, Covers and directed colimits., Partial Horn logic and Cartesian categories, Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories, Combining algebraic effects with continuations, Limits of small functors, Protolocalisations of homological categories, Universal constructions for Hopf algebras., Modules over motivic cohomology, The countable telescope conjecture for module categories., Local-to-global spectral sequences for the cohomology of diagrams, Bases for parametrized iterativity, Model structures on the category of small double categories, Algebraic theories of quasivarieties, Purity and injectivity in accessible categories, The locally connected coclosure of a Grothendieck topos, Covariant types, On final coalgebras of continuous functors, Infinite trees and completely iterative theories: A coalgebraic view, On projectivity in locally presentable categories., A simple characterization of theories of varieties, Coalgebra morphisms subsume open maps, On abstract data types presented by multiequations, A generalization of the duality compactness theorem, Completeness of cocompletions, On quasivarieties and varieties as categories, Higher Čech theory, A Quillen model structure for bicategories, How accessible are categories of algebras?, Flat covers and factorizations, A classification of accessible categories, Relating CASL with other specification languages: the institution level., On tree coalgebras and coalgebra presentations, On reflective subcategories of varieties, On preaccessible categories, Logical quantizations of first-order structures, On pure morphisms in accessible categories, Development graphs -- proof management for structured specifications, Recursively defined metric spaces without contraction, On homotopy varieties, Localization with respect to a class of maps. II: Equivariant cellularization and its application, Fundamental constructions for coalgebras, corings, and comodules., Flow does not model flows up to weak dihomotopy, Kaplansky classes and derived categories, \(^{\perp}N\) as an abstract elementary class, Algebras with parametrized iterativity, Quillen's small object argument in the category of firm modules., Weak factorizations, fractions and homotopies, Coalgebraic semantics for timed processes, Combining effects: sum and tensor, On an essentially algebraic theory for locally presentable categories, Pure morphisms in pro-categories, Quasi-coproducts and accessible categories with wide pullbacks, Implications of large-cardinal principles in homotopical localization, A generalization of Quillen's small object argument, Unnamed Item, Unnamed Item, Unnamed Item, Finite presentability of strongly finite dilators, Unnamed Item, Unnamed Item, All tilting modules are of countable type, Unnamed Item, Unnamed Item, Unnamed Item, A Description of Iterative Reflections of Monads (Extended Abstract), Combinatorial model categories have presentations, Two applications of analytic functors, Restriction categories. I: Categories of partial maps, Monads on tensor categories, Tannaka duality for Maschkean categories
