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

UptoLike

ВУЗ: 

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

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

Рубрика: 

C
C
◦
Ob(C
◦
) = Ob(C)
X ∈ Ob(C)
X
◦
Hom
C
◦
(X
◦
, Y
◦
) = Hom
C
(Y, X)
φ: Y → X C φ
◦
: X
◦
→ Y
◦
C
◦
(φ ◦ ψ)
◦
= ψ
◦
◦ φ
◦
,
Z
ψ
//
φ◦ψ
Y
φ
~~
}
}
}
}
}
}
}
}
X
C
Z Y
ψ
◦
oo
X
ψ
◦
◦φ
◦
=(φ◦ψ)
◦
OO
φ
◦
>>
}
}
}
}
}
}
}
}
C
◦
(id
X
)
◦
= id
X
◦

Страницы