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