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".