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  -