>>466
> https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90_(%E5%9C%8F%E8%AB%96)
>極限 (圏論)

和文より下記の原英文を読む方が
分かり易いな
（参考）
https://en.wikipedia.org/wiki/Limit_(category_theory)
Limit (category theory)

Definition
Limits and colimits in a category C are defined by means of diagrams in C. Formally, a diagram of shape J in C is a functor from J to C:
F:J→ C.
The category J is thought of as an index category, and the diagram F is thought of as indexing a collection of objects and morphisms in C patterned on J.
One is most often interested in the case where the category J is a small or even finite category. A diagram is said to be small or finite whenever J is.
Limits
略
(引用終り)
以上