diagrams
Meanings
インデックス圏から別の圏への関手。インデックス圏の対象と射は、内部的な実質を持つ必要はなく、むしろ図の余域の少なくとも一部の接続構造を概説するだけです。インデックス圏がJで余域がCの場合、図は「CにおけるJ型」と呼ばれます。
A functor from an index category to another category. The objects and morphisms of the index category need not have any internal substance, but rather merely outline the connective structure of at least some part of the diagram's codomain. If the index category is J and the codomain is C, then the diagram is said to be "of type J in C".