Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2512.18896 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909973204697088 |
|---|---|
| author | Schoutens, Hans |
| author_facet | Schoutens, Hans |
| contents | The category of models of any theory $T$ in any first-order language $L$ has the surprising property that any small category that is elementarily equivalent with it, already embeds in it. The proof uses an abstract argument via ultrapowers, leaving one wonder which concrete categorical axioms, depending on $T$ and $L$, are responsible for this embedding result.
We also propose a first-order logic for which equivalent categories are always elementarily equivalent. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_18896 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Universal categories Schoutens, Hans Logic Category Theory The category of models of any theory $T$ in any first-order language $L$ has the surprising property that any small category that is elementarily equivalent with it, already embeds in it. The proof uses an abstract argument via ultrapowers, leaving one wonder which concrete categorical axioms, depending on $T$ and $L$, are responsible for this embedding result. We also propose a first-order logic for which equivalent categories are always elementarily equivalent. |
| title | Universal categories |
| topic | Logic Category Theory |
| url | https://arxiv.org/abs/2512.18896 |