










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".
Lý thuyết phạm trù sử dụng các sơ đồ để biểu diễn mối quan hệ giữa các đối tượng toán học, cho thấy cách các đối tượng này kết nối và biến đổi ngay cả khi chi tiết của từng đối tượng chưa được xác định đầy đủ.



