A finite algebraic presentation of Lawvere theories in the object-classifier topos
Abstract
Over the topos of sets, the notion of Lawvere theory is infinite countably-sorted algebraic but not one-sorted algebraic. Shifting viewpoint over the object-classifier topos, a finite algebraic presentation of Lawvere theories is considered.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2024
- DOI:
- 10.48550/arXiv.2408.08980
- arXiv:
- arXiv:2408.08980
- Bibcode:
- 2024arXiv240808980F
- Keywords:
-
- Mathematics - Category Theory;
- 08C05;
- 18C10;
- 18C15;
- 18C40;
- 18E99