余直積
coproduct
二項余直積
$ a,b \in \operatorname{Obj}(C)
の余直積を
$ a \amalg b
と書く
https://gyazo.com/d78381b84516ce1738706668f20c0621
余直積は
余極限
$ a \amalg b = \operatorname{colim}T
$ J \coloneqq \{1,\ 2\}
$ T\colon J \to C
where
$ T(1)=a, \ T(2)=b
dual.icon
直積