??????? ???? ????? ???? ?????? ??? ?? ???????? ?????? ?? ?????? ???? ?? ??? ?? ?? ?????? ?????? ?? : ?? ???? ??? ???? ?? ????? ???? ?? ????? ?? ???? ??? ????? ?? ????? ?? ??? ???? ????

???? ?? ???? ???? ???? (?? ????? ??? ??? ??? ???? ??) ?????? ?? ??? ?? ????? ??? ???? ?? ???? ???? ?? ?? ??? ?? ???? ???? ????? ???? ????? ?? ????? ?? ???? ????? ??? ??? ??? ???? ??????? ????? ?? ??? ?????? ??? ???? ?? ????? ?? ?????? ????? ??? ??? ???????? ??????? ???? ?? ????? ???? ?? ???? ???? ???? ????? ?? ????? ???? ????? ?????? ??????? ??? ?????? ??? ??? ?? 1942-45 ??? ???????? ????? ?? ?????? ??? ????? ????

????? ???? ?? ??? ???? ??? ?? ??? ?????? ?? ???? ???? ????? ?????????? ?? ????? ???? 1940 ?? ????? ?? ??? ?????? ?????? ????? ???? ???? ?? ????? ?? ??? ????? ???? ??? ????? ?? ????? ????? ?? ?????? ???? ?????? ?????? ?? ????? ??? ??????? ?? ????? ???? ??? ??????? ?????? ???? ????? ??? ????? ?? ??? ???? ?? ???? ????? ?? ??? ???? ????? ?????? ??? ???? ??? ?? ????? ?? ?????? ????? ?? ?????? ???? ??? ?? ??? ????? ????? ???? ???? ???? ?? ?? ?????? ???? ???? ??? ??????? ?? ???? ??????? ????? ??? ?? ???? ??? ?? ??????? ?? ?????? ??? ??? ????? ??????? ?? ????? ??? ????? ?? ????? ????? ??? ??????? ??? ????? ??????? ????? ????? ???? ??? ????? ???? ??? ?? ????? ???? ?? ????? ??????? ????? ???????? ?? ?? ????? ???? ?? ????? ????? ?? ????? ???: '????? ?? ?????? ????? ??? ??????? ?? ????? ???? ?? ??? ??? ??????? ?? ?????? ????? ??? ????? ??????? ?? ????? ???? ?? ???'?

?????? ????? ??? ????? [ ????? ]

??? ???? C ??? ??? ??? ???????? ?????? ?? ????? ???? ??:

• ??? ????? ob( C ) ? ?? ?? ????? ?? ????? ??? ????
• ??? ????? hom( C ) ? ?? ?? ????? ?? ????? ?? ??? ?? ???? ??? ???? ?? ????? f ?? ??? ????? ???? ?? a ??? ??? ?? b ???? ??? ?? f : a → b ???? ??? ??? ??? ??? ?? ????? f ? ?? a ?? ?? b ??? ?? ???? ??? ?? hom( a , b ) ???? ??? ??? ?? ?? ???? ?????-????? ??? ???? a ?? b ??? ?? ???? ???? ???? ??????
• ??? ????? ???? ${\displaystyle \circ }$? ??? ????? ????? ??? ???? ?? ??? ?? ??? ??? ??? ????? a ? b ??? c ? ?? ???? ????? ??? hom( a , b ) × hom( b , c ) → hom( a , c ) ??? ?????? f : a → b ??? g : b → c ?? ????? ?? ${\displaystyle g\circ f}$ ?? gf ???? ???? ??? ????? ??? ?? ?? ?????? ?? :

• ?????? : ??? f : a → b ??? g : b → c ??? h : c → d ??? ?? ${\displaystyle h\circ (g\circ f)=(h\circ g)\circ f}$ ???
• ????? : ?? ?? x ?? ???? ??? ????? 1 x  : x → x ???? ????? ?? ??? x ?? ??? ????? ????? ??? ???? ?? ??? ?? ?? ???? f : a → b ?? ???? ????? ??? ${\displaystyle {\rm {1}}_{b}\circ f=f=f\circ {\rm {1}}_{a}}$ ???

?? ?????? ?? ????? ??? ?? ???? ?? ?? ?? ?? ?? ??? ??? ??? ????? ????? ???? ??? ?????? (???? ?? fg = h ) ?? ?????? ?????? ?? ???? ????? ????? ?? ???? ??? ?? ???? ??? ???? ????? ?? ????? (????) ?? ??????? ??? ???? ?? ??? ?????? ?? ?????? ?? ?