%0 Journal Article
%A Anna Giulia Montaruli
%T Towards constructivising the Freyd-Mitchell Embedding Theorem
%J Theory and applications of categories
%D 2024
%P 1416-1438
%V 41
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2024_41_a39/
%G en
%F TAC_2024_41_a39