Категории и функторы. Ершов А.В. - 56 стр.

UptoLike

Составители: 

Рубрика: 

Hom
C×C
((X, X
), (Y, Y
)) = Hom
C
(X, Y ) × Hom
C
(X
, Y
),
(φ, φ
) (ψ, ψ
) = (φ ψ, φ
ψ
), id
(X, X
)
= (id
X
, id
X
).
C × C
(C × C
)
= C
× C
′◦