Universal abstract elementary classes and locally multipresentable categories

DOI10.1090/PROC/14326MaRDI QIDQ4644724zbMATH OpenOpenAlexWikidataFDO

Authors Jiří Rosický, Sebastien Vasey, M. Lieberman

Publication date 8 January 2019

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1707.09005

zbMATH Keywords

abstract elementary classesaccessible categoriesintersectionslocally multipresentable categorieslocally polypresentable categoriesuniversal classes

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Abstract elementary classes and related topics (03C48) Properties of classes of models (03C52) Set-theoretic model theory (03C55) Other infinitary logic (03C75) Accessible and locally presentable categories (18C35)

Abstract: We exhibit an equivalence between the model-theoretic framework of universal classes and the category-theoretic framework of locally multipresentable categories. We similarly give an equivalence between abstract elementary classes (AECs) admitting intersections and locally polypresentable categories. We use these results to shed light on Shelah's presentation theorem for AECs.

Recommendations

• \(\mu\)-abstract elementary classes and other generalizations
• Sizes and filtrations in accessible categories
• Internal sizes in \(\mu\)-abstract elementary classes
• scientific article; zbMATH DE number 2236685
• Category-theoretic aspects of abstract elementary classes
• Building independence relations in abstract elementary classes
• Metric abstract elementary classes as accessible categories
• Axiomatizing AECs and applications
• The Kim-Pillay theorem for abstract elementary categories
• Classification theory for accessible categories

Cites work

• \(\mu\)-abstract elementary classes and other generalizations
• A presentation theorem for continuous logic and metric abstract elementary classes
• Abstract elementary classes and accessible categories
• Accessible Categories: The Foundations of Categorical Model Theory
• Categoricity and universal classes
• Categoricity in homogeneous complete metric spaces
• Categories localement multipresentables
• Categories of embeddings
• Category-theoretic aspects of abstract elementary classes
• Classification theory for abstract elementary classes
• Classification theory for accessible categories
• Examples of non-locality
• scientific article; zbMATH DE number 3826063 (Why is no real title available?)
• scientific article; zbMATH DE number 4041886 (Why is no real title available?)
• scientific article; zbMATH DE number 4077176 (Why is no real title available?)
• scientific article; zbMATH DE number 3654118 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• Infinitary stability theory
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Model theoretic stability and categoricity for complete metric spaces
• Shelah's eventual categoricity conjecture in universal classes. I.
• Shelah's eventual categoricity conjecture in universal classes. II
• Syntactic characterizations of closure under pullbacks and of locally polypresentable categories
• THE HANF NUMBER FOR AMALGAMATION OF COLORING CLASSES

Cited in

(14)

• Forking independence from the categorical point of view
• Internal sizes in \(\mu\)-abstract elementary classes
• Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete
• General facts on the Scott adjunction
• Sizes and filtrations in accessible categories
• Categoricity in multiuniversal classes
• The categoricity spectrum of large abstract elementary classes
• \(\mu\)-abstract elementary classes and other generalizations
• Limits of abstract elementary classes
• Structural logic and abstract elementary classes with intersections
• The Kim-Pillay theorem for abstract elementary categories
• Category-theoretic aspects of abstract elementary classes
• Formal model theory and higher topology
• Unstable independence from the categorical point of view

This page was built for publication: Universal abstract elementary classes and locally multipresentable categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644724)