text: Гомоморфизмом из F {\displaystyle F} -алгебры ( A , α ) {\displaystyle (A,\alpha )} в F {\displaystyle F} -алгебру ( B , β ) {\displaystyle (B,\beta )} называется морфизм в C {\displaystyle {\mathcal {C}}} f : A ⟶ B {\displaystyle f:A\longrightarrow B} , для которого верно f ∘ α = β ∘ F f : {\displaystyle f\circ \alpha =\beta \circ Ff:} Для любого заданного эндофунктора F {\displaystyle F} можно рассмотреть категорию, объектами которой являются F {\displaystyle F} -алгебры, а морфизмами — гомоморфизмы между F {\displaystyle F} -алгебрами.