Duality for Clans: an Extension of Gabriel-Ulmer Duality
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916569561432064 |
|---|---|
| author | Frey, Jonas |
| author_facet | Frey, Jonas |
| contents | Clans are representations of generalized algebraic theories that contain more information than the finite-limit categories associated to the locally finitely presentable categories of models via Gabriel-Ulmer duality. Extending Gabriel-Ulmer duality to account for this additional information, we present a duality theory between clans and locally finitely presentable categories equipped with a weak factorization system of a certain kind. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2308_11967 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Duality for Clans: an Extension of Gabriel-Ulmer Duality Frey, Jonas Category Theory Logic in Computer Science Logic 18C10, 08C05, 03B38, 03G30 Clans are representations of generalized algebraic theories that contain more information than the finite-limit categories associated to the locally finitely presentable categories of models via Gabriel-Ulmer duality. Extending Gabriel-Ulmer duality to account for this additional information, we present a duality theory between clans and locally finitely presentable categories equipped with a weak factorization system of a certain kind. |
| title | Duality for Clans: an Extension of Gabriel-Ulmer Duality |
| topic | Category Theory Logic in Computer Science Logic 18C10, 08C05, 03B38, 03G30 |
| url | https://arxiv.org/abs/2308.11967 |