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 (only showing first 100 items - show all)
μ-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
This page was built for publication: Accessible Categories: The Foundations of Categorical Model Theory
