Towards free localic algebras
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...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Shahid Beheshti University
2025-01-01
|
| Series: | Categories and General Algebraic Structures with Applications |
| Subjects: | |
| Online Access: | https://cgasa.sbu.ac.ir/article_104757_bee44fcaa9faf23c1ff68f1d061466dd.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|---|
| ISSN: | 2345-5853 2345-5861 |