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

UptoLike

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

Рубрика: 

(V
S
, i
S
)
=
(V
S
, i
S
).
e
s
φ
s
β
s
e
s
= 0
s
β
s
g(s) = 0
g(s) W φ
g : S W {e
s
}
sS
V
S
φ
S
(F
S
, i
S
). i
S
: S F
S
g : S G G
φ: F
S
G
S
i
S
//
g
F
S
φ
~~
}
}
}
}
}
}
}
}
G
F
S
S S
1
s
1
s S T = S S
1
S
T S = {s
1
, . . . , s
n
}
T = {s
1
, s
1
1
, . . . , s
n
, s
1
n
} S
s
i
s
1
j
s
1
s
2
s
2
s
1
1
s
3
n 3
e
s s
1
s s
1
. A B
B A
s s
1
,