%0 Journal Article
%A Christian Espíndola
%A Kristóf Kanalas
%T Every theory is eventually of presheaf type
%J Theory and applications of categories
%D 2025
%P 344-371
%V 44
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2025_44_a11/
%G en
%F TAC_2025_44_a11