%0 Journal Article %A Johann Sonner %T On the formal definition of categories. %J Mathematische Zeitschrift %D 1962 %P 163-176 %V 80 %I mathdoc %U http://geodesic.mathdoc.fr/item/MZ_1962__80_170093/ %F MZ_1962__80_170093