视频目录 / 抽象代数与对称
系列分集
category of categories
把整个范畴当作对象,把函子当作箭头。检查函子的复合与恒等函子能否满足范畴定义。
DanielChanMaths · 系列收录