Duality for Clans: an Extension of Gabriel-Ulmer Duality
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2023
- DOI:
- arXiv:
- arXiv:2308.11967
- Bibcode:
- 2023arXiv230811967F
- Keywords:
-
- Mathematics - Category Theory;
- Computer Science - Logic in Computer Science;
- Mathematics - Logic;
- 03G30;
- 03B38
- E-Print:
- 38 pages