Уикипедия

Категория (математика): Разлика между версии

Интерактивен преглед на историята
По-нова редакция →
Изтрито е съдържание Добавено е съдържание
ВизуаленУикитекст
Нова страница: ''Това е статия за математеческото понятие '''категория'''.'' ==Дефиниция== Категория е математиче...
 
Ред 22:
3.3. Оператор id, присвояващ на всеки обект X морфизъм <math>1_X</math>, морфизъм на идентичността на X, за който dom <math>1_X</math> = cod <math>1_X</math> = X,
 
3.4. БинеренБинарен оператор, наречен композиция, присвояващ на всяка '''композируема двойка''' <math>(\alpha</math>, <math>\beta)</math>, т.е., на всяка двойка морфизми <math>(\alpha</math>, <math>\beta)</math> с dom <math>\beta</math> = cod <math>\alpha</math>, морфизъм <math>\beta \circ \alpha</math> с
:<math>dom\ \beta \circ \alpha = dom\ \alpha</math>
:<math>cod\ \beta \circ \alpha = cod\ \beta</math>
Взето от „https://bg.wikipedia.org/wiki/Категория_(математика)“.