TY - JOUR AU - M. Menni TI - The least subtopos containing the discrete skeleton of Ω JO - Theory and applications of categories PY - 2024 SP - 172 EP - 179 VL - 42 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2024_42_a7/ LA - en ID - TAC_2024_42_a7 ER -