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