Geodesic
Left adjoint to precomposition in elementary doctrines
Theory and applications of categories, Tome 41 (2024), pp. 493-515.

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

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 homomorphisms from the syntactic doctrine into the doctrine of subsets. In this context, adding structure and axioms to a theory can be described by a homomorphism between the two corresponding syntactic doctrines, and the forgetful functor arises as precomposition with this last homomorphism. In this work, given any homomorphism 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.
Publié le :
Classification : 03G30, 18A40, 18C10
Keywords: elementary doctrines, free functors 
@article{TAC_2024_41_a14,
     author = {Francesca Guffanti},
     title = {Left adjoint to precomposition  in elementary doctrines},
     journal = {Theory and applications of categories},
     pages = {493--515},
     publisher = {mathdoc},
     volume = {41},
     year = {2024},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2024_41_a14/}
}
TY  - JOUR
AU  - Francesca Guffanti
TI  - Left adjoint to precomposition  in elementary doctrines
JO  - Theory and applications of categories
PY  - 2024
SP  - 493
EP  - 515
VL  - 41
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2024_41_a14/
LA  - en
ID  - TAC_2024_41_a14
ER  - 
%0 Journal Article
%A Francesca Guffanti
%T Left adjoint to precomposition  in elementary doctrines
%J Theory and applications of categories
%D 2024
%P 493-515
%V 41
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2024_41_a14/
%G en
%F TAC_2024_41_a14
Francesca Guffanti. Left adjoint to precomposition  in elementary doctrines. Theory and applications of categories, Tome 41 (2024), pp. 493-515. http://geodesic.mathdoc.fr/item/TAC_2024_41_a14/