a.在大多数具体范畴中,如集合范畴,拓扑空间范畴,群范畴,巴拿赫空间范畴等。两个态射的等子其实就给出了使两个态射值相等的定义域中的元素集合。就是满足的A中的元素集。
b.集合范畴中,余等子是值域对象的商集,商集所依赖的等价关系是通过序对生成的。
,,生成的等价关系如下。通过等价关系性质拓展到整个集合B。
每种颜色为一个等价类。共三个等价类。这就是商集的三个元素了。
c.交换群范畴,考虑群同态,那么这个同态和零同态的余等子就是群B关于子群的商群。一般的,两个态射的余等子就是f-g和零态射的余等子。同样的描述在向量空间或者模范畴中也成立。??f-g是什么,线性运算吗?
d.在许多与代数很像的结构中,情况比较简单。普遍的余等子的计算方法是构造B的商,关于序对所生成的共轭。这个共轭就是包含所有序对,并且在代数运算下封闭的,最小的等价关系。可参见第二册第三章。
e.拓扑空间范畴中,余等子和集合范畴中的构造一样,并且附加一个商拓扑。
f.豪斯多夫空间或者紧豪斯多夫空间,两个连续映射的余等子就是B关于序对生成的闭等价关系的商。这样的商空间还是豪斯多夫空间,并且保持紧性。比如。。。
g.巴拿赫空间和线性收缩,一个线性收缩和零映射的余等子是B关于闭包的商。商空间还是巴拿赫空间,一般的,两个线性收缩的余等子和线性收缩与零映射的余等子一致。
这一节差不多是余等子的构造了。与商运算密切相关,等子是对A的提取,余等子是对B的划分。等子很简单,余等子却比较复杂,呈现一种不对称的对偶性,对偶却不对称,很有意思,假如对偶性作为美的基础,而不是对称性,那么会呈现何种艺术作品呢?