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

UptoLike

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

Рубрика: 

A×
X
A
π
2
//
π
1
A
f
A
f
//
X.
f
A×
X
A A δ
f
: A A×
X
A,
A
id
A
A
f
f
f : A X
g : B X π
f
: A×
X
A B
π
f
A×
X
A
π
f
//
π
g
B
g
A
f
//
X.
π
f
f