generated at
小余直積
small coproduct

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

Jが有限集合ならば有限余直積

dual小直積