generated at
有限余直積
finite coproduct

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

dual有限直積