%0 Journal Article
%A Giulio Lo Monaco
%T Dependent products and 1-inaccessible universes
%J Theory and applications of categories
%D 2021
%P 107-143
%V 37
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2021_37_a4/
%G en
%F TAC_2021_37_a4