13.逗号范畴遗留问题

首先是逗号范畴的结构

自然映射的复合

万有性质

万有性质中出现的自然映射的复合

元素范畴实质上也是逗号范畴。

积范畴也是逗号范畴。

---

至此，昨天的遗留问题解决完毕了。图画起来还是挺花时间的，也是很形象的，内部的结构，发生的变化一目了然。对于不同的范畴具有的相同结构，可以简单的通过模式识别来判断，不需要对繁杂的映射进行复合运算。虽然好处很多，但真的很花时间，所以还是时间充裕时再说吧。