%0 Journal Article
%A Davide Trotta
%T The Existential Completion
%J Theory and applications of categories
%D 2020
%P 1576-1607
%V 35
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2020_35_a42/
%G en
%F TAC_2020_35_a42