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
No takes yet. Share an insight, caveat, or question.
J.-M. Maranda (1965) studied this question.