Accessible Categories: The Foundations of Categorical Model Theory
From MaRDI portal
Publication:3995283
DOI10.1090/conm/104zbMath0703.03042OpenAlexW1518444163MaRDI QIDQ3995283
Publication date: 17 September 1992
Published in: Contemporary Mathematics (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/24936d3f2e9de21b8248b2102815bfee4a680deb
categories of models of sketchesCategorical model theoryclosure properties of the 2-category of accessible categoriestheories-as-sketches
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Other infinitary logic (03C75) Research exposition (monographs, survey articles) pertaining to category theory (18-02)
Related Items
μ-Bicomplete Categories and Parity Games, Unnamed Item, Functional sorts in data type specifications, Elementary equivalences and accessible functors, Logic in Category Theory, Unnamed Item, Remarks on combinatorial and accessible model categories, Theories of presheaf type, Unnamed Item, Metric monads, Six model categories for directed homotopy, Sketches and computation – I: basic definitions and static evaluation, Unnamed Item, Minimal accessible categories, Unnamed Item, Flat vs. filtered colimits in the enriched context, On continuity of accessible functors, Combinatorial and accessible weak model categories, Virtual concepts in the theory of accessible categories, Accessible images revisited, Enriched purity and presentability in Banach spaces, On sifted colimits in the presence of pullbacks, Large cardinal axioms from tameness in AECs, The tensor embedding for a Grothendieck cosmos, Smallness in topology, Accessible \(\infty \)-cosmoi, On duality and model theory for polyadic spaces, CHAD for expressive total languages, METRIC ABSTRACT ELEMENTARY CLASSES AS ACCESSIBLE CATEGORIES, Finitary sketches and finitely accessible categories, Sweedler theory of monads, Tameness in generalized metric structures, Structural logic and abstract elementary classes with intersections, A category-theoretic characterization of almost measurable cardinals, On the unicity of the theory of higher categories, Universal abstract elementary classes and locally multipresentable categories, From noncommutative diagrams to anti-elementary classes, From Varieties of Algebras to Covarieties of Coalgebras, Algebras, Coalgebras, Monads and Comonads, On the structure of categories of coalgebras, AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN, Universal homotopy theories, Combinatorial model categories have presentations, A remark on conservative cocompletions of categories, On Pure Quotients and Pure Subobjects, The Classifying Topos of a Continuous Groupoid. I, CLASSIFICATION THEORY FOR ACCESSIBLE CATEGORIES, Unnamed Item, When is Flatness Coherent?, Definable additive categories: purity and model theory, Unnamed Item, Final coalgebras in accessible categories, Coinductive predicates and final sequences in a fibration, Tameness, powerful images, and large cardinals, Colimits of accessible categories, On the uniqueness of cellular injectives, Quasi-coproducts and accessible categories with wide pullbacks, A factorization of regularity, On dualizability of braided tensor categories, Regular universes and formal spaces, Coalgebraic Modal Logic Beyond Sets, A generalization of Ohkawa’s theorem, Coinductive predicates and final sequences in a fibration, Rational operational models, Shelah's eventual categoricity conjecture in universal classes. I., \(\mu\)-abstract elementary classes and other generalizations, More on directed colimits of models, On the notion of bimodel for functorial semantics, Braided groups, Gabriel-Ulmer duality for topoi and its relation with site presentations, On tree coalgebras and coalgebra presentations, Recursively defined metric spaces without contraction, On combinatorial model categories, General facts on the Scott adjunction, Descent and duality, Enhancing the filtered derived category, Induced and higher-dimensional stable independence, A characterisation of algebraic exactness, Accessibility and the solution set condition, Model-theoretic imaginaries and coherent sheaves, A solution to the conjecture on \(\lambda \)-pure acyclic complexes, Quillen closed model structures for sheaves, Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets, \(\lambda\)-presentable morphisms, injectivity and (weak) factorization systems, Towers and fibered products of model structures, Accessibility and presentability in 2-categories, On preaccessible categories, Limits in free coproduct completions, Accessible model categories, Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories, Logical quantizations of first-order structures, Strong conceptual completeness for first-order logic, On pure morphisms in accessible categories, An institution-independent proof of the Robinson consistency theorem, Categorical shape theory as a formal language for pattern recognition?, Lax colimits and free fibrations in \(\infty\)-categories, Algebraic weak factorisation systems. I: Accessible AWFS., Factorization and local presentability in topological and uniform spaces, Liminf convergence in \(\Omega\)-categories, Towards a characterization of universal categories, Bousfield localisations along Quillen bifunctors, Class-locally presentable and class-accessible categories, Tensor products of finitely cocomplete and abelian categories, Duality and small functors, Universality of categories of coalgebras, Infinite trees and completely iterative theories: A coalgebraic view, Cofibrant generation of pure monomorphisms, Commutativity, Cellular objects and Shelah's singular compactness theorem, Periodic modules and acyclic complexes, Sizes and filtrations in accessible categories, Accessible aspects of 2-category theory, Approximations and adjoints in homotopy categories, On exact categories and applications to triangulated adjoints and model structures, Category-theoretic aspects of abstract elementary classes, A universal characterization of higher algebraic \(K\)-theory, Unexpected properties of locally presentable categories, Cellular categories, Ionads, Relatively terminal coalgebras, Monads with arities and their associated theories, Are all localizing subcategories of stable homotopy categories coreflective?, On a fat small object argument, A theorem on Barr-exact categories, with an infinitary generalization, On coalgebra based on classes, Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories, Forking independence from the categorical point of view, Bousfield localisation and colocalisation of one-dimensional model structures, Towards higher topology, Open localizations, The fundamental localic groupoid of a topos, A survey on categories of logics and algebraizable logics, Rectification of enriched \(\infty\)-categories, Generalized sketches as a framework for completeness theorems. I-III, Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\), Syntactic characterizations of closure under pullbacks and of locally polypresentable categories, On regular monomorphisms in weakly locally presentable categories, Weak complicial sets. I: Basic homotopy theory, The logic of structures, Cartesian modules over representations of small categories, Internal sizes in \(\mu\)-abstract elementary classes, Syntactic characterization of closure under connected limits, Higher Čech theory, Expressive logics for coalgebras via terminal sequence induction, A model category structure on the category of simplicial multicategories, A colimit decomposition for homotopy algebras in Cat, Coalgebraic semantics for timed processes, Abstract elementary classes and accessible categories, Pure morphisms in pro-categories, On linear exactness properties, Cell 2-representations and categorification at prime roots of unity, How accessible are categories of algebras?, Equipping weak equivalences with algebraic structure, Mal'cev conditions revisited, Duality theory for enriched Priestley spaces, Category theory and the foundations of mathematics: philosophical excavations., Distributive laws for monotone specifications, Dinatural numbers, A classification of accessible categories, On finitary functors and their presentations, Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete, Adjoint functor theorems for homotopically enriched categories
