21/05/26 15:49:00.88 O4eZsu7n.net
>>466
> URLﾘﾝｸ(ja.wikipedia.org)(%E5%9C%8F%E8%AB%96)
>極限 (圏論)
和文より下記の原英文を読む方が
分かり易いな
（参考）
URLﾘﾝｸ(en.wikipedia.org)(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
略
(引用終り)
以上