Category Theory

範疇描述物件及態射及其是否相等的规则。