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

UptoLike

ВУЗ: 

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

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

Рубрика: 

hT op C
T op
R
X, Y
X → Y
C
S ∈ Ob(C) C
S
S C
S
(X, φ), X ∈ Ob(C), φ ∈ Hom
C
(X, S) (X, φ) ∈ Ob(C
S
)
(Y, ψ) ∈ Ob(C
S
) f ∈ Hom
C
(X, Y ) φ = ψ ◦ f,
X
φ
f
//
Y
ψ
~~
}
}
}
}
}
}
}
}
S
C
S
(X, φ), φ ∈ Hom
C
(X, S)
(X, φ), φ ∈ Hom
C
(S, X).
S C
f : S → G G
(G, f). C (G, f)
(H, g) φ: G → H
S
f
//
g
G
φ
~~
}
}
}
}
}
}
}
}
H
g φ ◦ f
S → H
S
k U
1
, . . . , U
n
C

Страницы