Категория (математика)

Категория е математическа структура, която по определение включва:

А. Два класа от елементи

1. Клас от обекти X;

2. Клас от морфизми (или стрелки) $\varphi$, понятие, което идва от комутативните диаграми, където морфизмите се означават със стрелки.

3. Четири оператора:

3.1. Оператор cod, присвояващ на всеки морфизъм $\varphi$ обект cod $\varphi$, кодомейн на $\varphi$, (В някои текстове вместо означението cod се среща означението tgt – target.)

3.2. Оператор dom, присвояващ на всеки морфизъм $\varphi$ обект dom $\varphi$, домейн на $\varphi$ (В някои текстове вместо означението dom се среща означението src – source.)

3.3. Оператор id, присвояващ на всеки обект X морфизъм $1_X$, морфизъм на идентичността на X, за който dom $1_X$ = cod $1_X$ = X,

3.4. Бинарен оператор, наречен композиция, присвояващ на всяка композируема двойка $(\alpha$, $\beta )$, т.е., на всяка двойка морфизми $(\alpha$, $\beta )$ с dom $\beta$ = cod $\alpha$, морфизъм $\beta \circ \alpha$ с

$dom\beta \circ \alpha =dom\alpha$

$cod\beta \circ \alpha =cod\beta$

4. Асоциативност на оператора за композиция $\circ$:

Ако f, g и h са морфизми,

$(f\circ g)\circ h=f\circ (g\circ h)$.

Това са твърдениета, които формират хипотезата на категорията $ℭ$.

Морфизмът на идентичност $1_X$ за всеки обект X може да бъде анулиран от всяка една композиция в смисъл, че

• за всеки морфизъм $\varphi$ с dom $\varphi$ = X имаме $\varphi \circ 1_X=\varphi$

• за всеки морфизъм $\psi$ с cod $\psi$ = X имаме $1_X\circ \psi =\psi$

Външни препратки

• Кратък увод в представата за категория, илюстриран с прости примери, Шаблон:Икона

• Jaap van Oosten, Basic Category Theory, Шаблон:Икона