Left adjoint to precomposition in elementary doctrines
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866917663313231872 |
|---|---|
| author | Guffanti, Francesca |
| author_facet | Guffanti, Francesca |
| contents | It is well-known in universal algebra that adding structure and equational axioms generates forgetful functors between varieties, and such functors all have left adjoints. The category of elementary doctrines provides a natural framework for studying algebraic theories, since each algebraic theory can be described by some syntactic doctrine and its models are morphism from the syntactic doctrine into the doctrine of subsets. In this context, adding structure and axioms to a theory can be described by a morphism between the two corresponding syntactic doctrines, and the forgetful functor arises as precomposition with this last morphism. In this work, given any morphism of elementary doctrines, we prove the existence of a left adjoint of the functor induced by precomposition in the doctrine of subobjects of a Grothendieck topos. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2310_08380 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Left adjoint to precomposition in elementary doctrines Guffanti, Francesca Category Theory Logic It is well-known in universal algebra that adding structure and equational axioms generates forgetful functors between varieties, and such functors all have left adjoints. The category of elementary doctrines provides a natural framework for studying algebraic theories, since each algebraic theory can be described by some syntactic doctrine and its models are morphism from the syntactic doctrine into the doctrine of subsets. In this context, adding structure and axioms to a theory can be described by a morphism between the two corresponding syntactic doctrines, and the forgetful functor arises as precomposition with this last morphism. In this work, given any morphism of elementary doctrines, we prove the existence of a left adjoint of the functor induced by precomposition in the doctrine of subobjects of a Grothendieck topos. |
| title | Left adjoint to precomposition in elementary doctrines |
| topic | Category Theory Logic |
| url | https://arxiv.org/abs/2310.08380 |