TY - JOUR AU - Johann Sonner TI - On the formal definition of categories. JO - Mathematische Zeitschrift PY - 1962 SP - 163 EP - 176 VL - 80 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZ_1962__80_170093/ ID - MZ_1962__80_170093 ER -