Towards free localic algebras
نویسندگان
1 Department of Mathematical Sciences, University of South Africa, P.O. Box 392, 0003 Unisa, South Africa. National Institute for Theoretical and Computational Sciences (NITheCS), South Africa.
2 Department of Mathematical Sciences, University of South Africa, P.O. Box 392, 0003 Unisa, South Africa. National Institute for Theoretical and Computational Sciences (NITheCS), South Africa.
3 Department of Mathematical Sciences, University of South Africa, P.O. Box 392, 0003 Unisa, South Africa. National Institute for Theoretical and Computational Sciences (NITheCS), South Africa.
doi
10.48308/cgasa.2024.233933.1445چکیده
The purpose of this paper is to establish that the underlying objectfunctor from the models of a Lawvere theory to the base category creates limitsand coequalisers of all parallel pairs of homomorphisms whose underlying pairadmit a split coequaliser. We show that for a small complete category witha well behaved proper factorisation structure, the underlying functor admitsa left adjoint and the category of such models is precisely monadic over thebase category in the sense of Beck’s Theorem. In particular, this establishesthe existence of free localic algebras for any Lawvere theory, generalising theknown results for the existence of free localic groups.
