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