| 释义 |
category A category is a class of objects, together with morphisms between objects, such that composition of morphisms is associative, and an identity morphism 1X exists for each object X. Category theory is an alternative approach to set theory when studying the foundations of mathematics. As an example, the class of sets as the objects, with morphisms being functions, makes a category; note there is no ‘set of all sets'.
|