逗号范畴与 universal arrows

拙作抽象代数笔记的一部分，感觉有点意思，于是就发上来了……主要的参考是：

[1] 李文威. 代数学方法. 卷1.

[2] James R. Munkres. Topology.

[3] S. Mac Lane. GTM5.

欢迎一切批评指正、切磋交流。

————————————————

2023/4/18 更新：改了一些笔误，增加了 Stone-Cech 紧致化这个例子。