Geodesic
Quotients, pure existential completions and arithmetic universes
Theory and applications of categories, Hofstra Festschrift, Tome 42 (2024), pp. 59-83.

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

We provide a new description of Joyal's arithmetic universes through a characterization of the exact and regular completions of pure existential completions.We show that the regular and exact completions of the pure existential completion of an elementary doctrine Pare equivalent to the reg/lex and ex/lex-completions, respectively, of the category of predicates of P.This result generalizes a previous one by the first author with F. Pasquali and G. Rosolini about doctrines equipped with Hilbert's ε-operators.Thanks to this characterization, each arithmetic universe in the sense of Joyal can be seen as the exact completion of the pure existential completion of the doctrine of predicates of its Skolem theory. In particular, the initial arithmetic universe in the standard category of ZFC-sets turns out to be the completion with exact quotients of the doctrine of recursively enumerable predicates.
Publié le :
Classification : 03G30, 18C10, 18C50
Keywords: Lawvere doctrines, existential completion, quotient completion, arithmetics universes 
@article{TAC_2024_42_a3,
     author = {Maria Emilia Maietti and Davide Trotta},
     title = {Quotients, pure existential completions and arithmetic universes},
     journal = {Theory and applications of categories},
     pages = {59--83},
     publisher = {mathdoc},
     volume = {42},
     year = {2024},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2024_42_a3/}
}
TY  - JOUR
AU  - Maria Emilia Maietti
AU  - Davide Trotta
TI  - Quotients, pure existential completions and arithmetic universes
JO  - Theory and applications of categories
PY  - 2024
SP  - 59
EP  - 83
VL  - 42
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2024_42_a3/
LA  - en
ID  - TAC_2024_42_a3
ER  - 
%0 Journal Article
%A Maria Emilia Maietti
%A Davide Trotta
%T Quotients, pure existential completions and arithmetic universes
%J Theory and applications of categories
%D 2024
%P 59-83
%V 42
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2024_42_a3/
%G en
%F TAC_2024_42_a3
Maria Emilia Maietti; Davide Trotta. Quotients, pure existential completions and arithmetic universes. Theory and applications of categories, Hofstra Festschrift, Tome 42 (2024), pp. 59-83. http://geodesic.mathdoc.fr/item/TAC_2024_42_a3/