%0 Journal Article %A Olivia Caramello %A Axel Osmond %T The over-topos at a model %J Theory and applications of categories %D 2023 %P 447-492 %V 39 %I mathdoc %U http://geodesic.mathdoc.fr/item/TAC_2023_39_a14/ %G en %F TAC_2023_39_a14