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

UptoLike

ВУЗ: 

СГУ им. Чернышевского | Саратов

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

Рубрика: 

X
Y ∈ Ob(C) h
X
(Y )
Y ∈ Ob(C)
µ(Y ): h
X
(Y ) × h
X
(Y ) → h
X
(Y ),
µ(Y )(u, v) = uv ∈
h
X
(Y ) ∀u, v ∈ h
X
(Y ) uv
h
X
(Y ) Y
φ: Y → Y
′
h
X
(φ)
h
X
(φ)(uv) = h
X
(φ)(u)h
X
(φ)(v), ∀u, v ∈ h
X
(Y
′
),
h
X
(Y ) × h
X
(Y )
µ(Y )
//
h
X
(Y )
h
X
(Y
′
) × h
X
(Y
′
)
µ(Y
′
)
//
h
X
(φ)×h
X
(φ)
OO
h
X
(Y
′
).
h
X
(φ)
OO
µ = {µ(Y )}
h
X
× h
X
⇒ h
X
Set Y ∈ Ob(C)
h
X
×h
X
h
X×X
u, v ∈ h
X
(Y )
t: Y → X ×X
X X ×X
π
1
oo
π
2
//
X
Y
t
OO
u
dd
I
I
I
I
I
I
I
I
I
I
v
::
u
u
u
u
u
u
u
u
u
u
¯µ = {¯µ(Y )}: h
X×X
⇒ h
X
.

Страницы