范畴论(1)

注记 不引起歧义情况下,常用 $\mathcal C(A,B)$ 或 $\text{Hom}(A,B)$ 表示 $\text{Hom}_{\mathcal C}(A,B)$,用 $\mathcal C$ 表示 $\text{Ob}(\mathc... 阅读全文