Введение в универсальную и категорную алгебру. Тронин С.Н. - 22 стр.

iNYMI SLOWAMI, OPERACII W ALGEBRE A OPREDELENY "POKOMPONENT-
NO". dLQ KONSTANT \TO OPREDELENIE SWODITSQ K TOMU, ^TO ESLI m = 0 ,
!i 2 Aij | KONSTANTA, SOOTWETSTWU@]AQ ! 2 j W ALGEBRE Ai ,
TO SOOTWETSTWU@]AQ KONSTANTA !A 2 Aj ESTX SEMEJSTWO f!iji 2 I g .
iZ (1) SRAZU SLEDUET, ^TO MORFIZMY pi STANOWQTSQ GOMOMORFIZMA-
MI  -ALGEBR. pUSTX DANO SEMEJSTWO GOMOMORFIZMOW fi : B ;! Ai ,
KOMPONENTY KOTORYH ESTX OTOBRAVENIQ fis : Bs ;! Ais . sOGLASNO
SWOJSTWAM PRQMOGO PROIZWEDENIQ W KATEGORII "OBY^NYH" MNOVESTW,
DLQ
 Q AKAVDOGO          s 2 S ODNOZNA^NO OPREDELENY OTOBRAVENIQ fs : Bs ;!
      is , TAKIE, ^TO pis fs = fis DLQ WSEH i 2 I . tEM SAMYM ODNO-
i2I
ZNA^NO OPREDELENO OTOBRAVENIE GRADUIROWANNYH MNOVESTW f : B ;!
A , TAKOE, ^TO pif = fi DLQ WSEH i 2 I . oSTA