A category is a graph with a rule for composing arrows to give another arrow. So a category has a structure of its own, a meta-structure, with rules for ...
確定! 回上一頁