Formal model theory and higher topology
Formal model theory and higher topology
Abstract We study the 2ācategories BIon, of (generalized) bounded ionads, and , 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. ā¦