[en] 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.
Disciplines :
Mathématiques
Auteur, co-auteur :
GUFFANTI, Francesca ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Mathematics (DMATH)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
Left adjoint to precomposition in elementary doctrines
Borceux, F. (1994). Handbook of categorical algebra: volume 1, Basic category theory, volume 1. Cambridge University Press.
Caramello, O. (2017). Theories, Sites, Toposes: Relating and Studying Mathematical Theories Through Topos-Theoretic ’Bridges’. Oxford, England: Oxford University Press UK.
Emmenegger, J., Pasquali, F., and Rosolini, G. (2020). Elementary doctrines as coalgebras. Journal of Pure and Applied Algebra, 224.
Guffanti, F. (2023). Adding a constant and an axiom to a doctrine. arXiv:2310.08324.
Johnstone, P. T. (2002). Sketches of an elephant: a Topos theory compendium. Oxford logic guides. Oxford Univ. Press, New York, NY.
Karazeris, P. and Protsonis, G. (2012). Left kan extensions preserving finite products. Journal of Pure and Applied Algebra, 216(8):2014–2028. Special Issue devoted to the International Conference in Category Theory ‘CT2010’.
Kelly, G. and Lack, S. (1993). Finite-product-preserving functors, kan extensions, and strongly-finitary 2-monads. Applied Categorical Structures, 1(1):85–94.
Lawvere, F. W. (1969a). Adjointness in foundations. Dialectica, 23(3/4):281–296.
Lawvere, F. W. (1969b). Diagonal arguments and cartesian closed categories. Category theory, homology theory and their applications II, 92:134–145.
Lawvere, F. W. (1970). Equality in hyperdoctrines and comprehension schema as an adjoint functor. Applications of Categorical Algebra, 17:1–14.
MacLane, S. (1971). Categories for the Working Mathematician. Springer-Verlag, New York. Graduate Texts in Mathematics, Vol. 5.
Maietti, M. and Rosolini, G. (2013a). Elementary quotient completion. Theory and Applications of Categories, Vol. 27, No. 17, 2013, pp. 445–463.
Maietti, M. E., Pasquali, F., and Rosolini, G. (2017). Triposes, exact completions, and Hilbert’s ε-operator. Tbilisi Mathematical Journal, 10(3):141 – 166.
Maietti, M. E. and Rosolini, G. (2013b). Quotient completion for the foundation of constructive mathematics. Logica Universalis, 7(3):371–402.
Maietti, M. E. and Rosolini, G. (2015). Unifying exact completions. Applied Categorical Structures, 23:43–52.
