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

UptoLike

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

Рубрика: 

X X/α
π
α
: X X/α
π
α
C
top
C
top
(Y, φ) Y
φ: X Y xαy φ(x) = φ(y)
C
top
(Y, φ) (Z, ψ)
χ: Y Z,
(X/α, π
α
) C
top
G H G
G/H
π : G G/H (G/H, π)
φ: G K
H ker φ
ψ : G/H K ψ π = φ,
G
π
//
φ
G/H
ψ
||
y
y
y
y
y
y
y
y
K
R I R
R/I