Привет.

Пусть у нас задана категория C с множеством объектов O и множеством морфизмов M={f}.

1. Верно ли, что область определения каждого морфизма ? один и только один элемент из O. Область значений ? тоже один, и только один элемент из O?

2. Почему морфизм можно отождествить с информацией о типе элементов? Элементов ли?

Напоследок, чтобы сформировать картинку полностью: какие типы и у каких вещей будут здесь:

digraph structs { size="2,2" node [fontname="Verdana", fontsize=8] edge [fontname="Verdana",fontsize=8] A->B [label=f1] B->C [label=f2] D->E [label=f3] E->F [label=f4] A->G [label=f5] D->G [label=f6] G->C [label=f7] G->F [label=f8] }

?

Спасибо.