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

UptoLike

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

Рубрика: 

P(S)
S, S C
S
,
(S, id
S
),
C
S
(S, id
S
).
{X
α
}
αA
C.
C
A
,
C
A
(Y, {f
α
}
αA
), Y Ob(C), f
α
Hom
C
(X
α
, Y ) α A. C
A
(Y, {f
α
}
αA
)
(Z, {g
α
}
αA
) h: Y Z
C α A
X
α
f
α
~~
|
|
|
|
|
|
|
|
g
α
!!
C
C
C
C
C
C
C
C
Y
h
//
Z.
C
A
(X, {i
α
}
αA
)
X {X
α
}
αA
,
i
α
: X
α
X X
α