generated at
小直積
small product

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

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

dual小余直積