e/Diagram (category theory)

Information
has gloss	eng: In category theory, a branch of mathematics, a diagram is the categorical analogue of a indexed family in set theory. The primary difference is that in the categorical setting one has morphisms as well. An indexed family of sets is a collection of sets, indexed by a fixed set; equivalently, a function from a fixed index set to the class of sets. A diagram is a collection of objects and morphisms, indexed by a fixed category; equivalently, a functor from a fixed index category to some category.
lexicalization	eng: diagram
instance of	e/Functor

Meaning
Korean
has gloss	kor: 수학의 한 분야인 범주론에서 그림(diagram)은 집합론의 첨자족과 유사한 개념이다. 가장 큰 차이는 범주론에서는 대상들 사이의 사상까지 함께 다룬다는 점이다. 그림은 극한과 차극한 및 뿔 등의 개념을 정의하기 위해 사용된다.
lexicalization	kor: 그림
Dutch
has gloss	nld: In de categorietheorie, een abstract deelgebied van de wiskunde, is een diagram het categoriale analogon van een geïndexeerde familie in de verzamelingenleer. Het belangrijkste verschil is dat men in de categoriale context ook te maken heeft met morfismen: een geïndexeerde familie van verzamelingen binnen een collectie van verzamelingen, geïndexeerd door een vaste verzameling (of op equivalente wijze, een functie van een vaste index verzameling naar de klasse van verzamelingen), terwijl een diagram een collectie van objecten en morfismen is, die is geïndexeerd door een vaste categorie (op equivalente wijze als een functor van een vaste index categorie naar enige andere categorie).
lexicalization	nld: diagram