Функторные морфизмы. Ершов А.В. - 41 стр.

UptoLike

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

Рубрика: 

φ: X S, ψ : Y S
C Z Ob(C),
π
X
: Z X, π
Y
: Z Y
X Y
Z
π
Y
//
π
X
Y
ψ
X
φ
//
S
π
X
, π
Y
Z
Ob(C) u: Z
X, v : Z
Y
Z
v
//
u
Y
ψ
X
φ
//
S
h: Z
Z
u = π
X
h, v = π
Y
h X Y S
X×
S
Y