A finite algebraic presentation of Lawvere theories in the object-classifier topos

Autor:	Fiore, Marcelo, Ranchod, Sanjiv
Rok vydání:	2024
Předmět:	Mathematics - Category Theory 08C05 18C10 18C15 18C40 18E99
Druh dokumentu:	Working Paper
Popis:	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.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2408.08980 Zobrazit plný text záznamu View this record from Arxiv