generated at
2/18/2025, 6:03:06 PM
有限直積
finite product
有限直積
\prod_{j \in J} T(j) = \operatorname{lim} T
:
極限
where
図式
T\colon J \to C
添え字圏
J \colon
有限集合
有限余直積