小余直積
small coproduct
小余直積
$ \coprod_{j \in J} T(j) = \operatorname{colim} T: 余極限
where
図式$ T\colon J \to C
添え字圏$ J \colon 集合
$ J が有限集合ならば有限余直積
dual.icon小直積