A category is a quiver (a directed graph with multiple edges) with a rule saying how to compose two edges that fit together to get a new edge.
確定！ 回上一頁
