顺着知识，继续探索
围绕对象与态射、泛性质与构造、可表性与代数理解概念与联系。先建立知识结构，视频讲解按审核情况逐步补充。
函数复合按顺序作用，前一步的输出须属于后一步的定义域。
范畴具有对象、态射、满足结合律的复合及恒等态射。
函子映射对象与态射，并保持恒等态射及复合。
自然变换的分量态射与源范畴中每个态射相容。
具有双侧复合逆的态射称为同构；它表达范畴结构中的可逆性，不要求两个对象本身完全相同。
泛性质通过相容映射的唯一性刻画对象。
积以普遍的相容入射映射刻画，余积反转相应箭头方向。
极限与余极限把泛构造推广到对象及箭头组成的图表。
伴随以自然方式联系两个函子对应的态射集合。
可表函子到另一函子的自然变换，与该函子在表示对象处的元素自然对应。
函子在自然同构意义下互逆时，范畴等价而不必完全相同。
幺半范畴具有类似张量的乘积及单位对象，并满足相干约束。
阿贝尔范畴以相容公理支持加性结构、核、余核及正合性。
课程范围参考