Formal Categories
J.-M. Maranda · Canadian Journal of Mathematics · 1965
A category is made up of its class of objects , of a function M (or ) which assigns to each (A,B) ∊ × the class M(A, B) of all morphisms from A to B, of an operation μ which is a class of maps A, B, C ∊ , and of a family of maps