Элементы теории категорий. Ершов А.В. - 62 стр.

UptoLike

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

Рубрика: 

Y φ: X Y
Φ: M(X) Y
X
φ
//
Y
M(X)
Φ
<<
x
x
x
x
x
x
x
x
x
X M(X)
J
1
τ x X
(τ, x) M(X) Φ
Φ(T ; x
1
, . . . , x
l(T )
) = µ
T
(φ(x
1
), . . . , φ(x
l(T )
)).
X 7→ (M(X), ?) Sets M.
F G Φ
eµF (φ), F (φ): M(X) M(Y ), eµ: M(Y ) Y
K