generated at
2/18/2025, 5:59:26 PM
余直積
coproduct
二項余直積
a,b \in \operatorname{Obj}(C)
の余直積を
a \amalg b
と書く
余直積は
余極限
a \amalg b = \operatorname{colim}T
J \coloneqq \{1,\ 2\}
T\colon J \to C
where
T(1)=a, \ T(2)=b
直積
