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.