A functor associates to every object of one category an object of another category, and to every morphism in the first category a morphism in the second.
: "Пример:" В категории Set инициальным объектом является пустое множество formula_29, терминальным — любое множество из одного элемента formula_30.