Formal Model Theory & Higher Topology
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2020
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909716796407808 |
|---|---|
| author | Di Liberti, Ivan |
| author_facet | Di Liberti, Ivan |
| contents | We study the $2$-categories BIon, of (generalized) bounded ionads, and $\text{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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2010_00319 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | Formal Model Theory & Higher Topology Di Liberti, Ivan Category Theory Logic We study the $2$-categories BIon, of (generalized) bounded ionads, and $\text{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. |
| title | Formal Model Theory & Higher Topology |
| topic | Category Theory Logic |
| url | https://arxiv.org/abs/2010.00319 |