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

UptoLike

ВУЗ: 

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

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

Рубрика: 

T (V ) V, i
V
: V → T (V )
V T
1
(V ) ⊂
T (V )
(T (V ), i
V
)
C
V
A
¯
i
V
: V → S(V ) S(V )
V
¯
i
V
I
V T (V )
k{I} S(V ) k[I].
X
α X/α
π
α
: X → X/α x ∈ X
C, X
α. C (Y, φ) Y
φ: X → Y
xαy ⇒ φ(x) = φ(y)
α C (Y, φ) (Z, ψ)
χ: Y → Z,
X
ψ
φ
//
Y
χ
~~
}
}
}
}
}
}
}
}
Z
(X/α, π
α
)
C.

Страницы