Formal Model Theory & Higher Topology

2020/09/29 by Di Liberti, Ivan · 1 citation
#Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2010.00319

Abstract

We study the 2-categories BIon, of (generalized) bounded ionads, and Acc_ω, of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex) geometric sketches, which serve as categorical specifications of geometric theories. We provide reconstruction and completeness-like results. We relate abstract elementary classes to locally decidable topoi. We introduce the notion of categories of saturated objects and relate it to atomic topoi.

Cited by

• Toposes with enough points as categories of étale spaces

Related

• The Scott adjunction
• Accessible categories, set theory, and model theory: an invitation
• A Model Structure on the Category of Topological Categories
• Higher Topos Theory
• Categories as models on a suitable algebraic theory