Follow
A finite algebraic presentation of Lawvere theories in the object-classifier topos https://arxiv.org/abs/2408.08980 #mathCT
A finite algebraic presentation of Lawvere theories in the object-classifier topos https://arxiv.org/abs/2408.08980 #mathCT