百科

在讨论所谓的纤维范畴前，我们先了解什么是强笛卡尔态射。令 $p : \mathcal{S} \to \mathcal{C}$ 为一个 $\mathcal{C}$上的范畴。给定一个对象 $x \in \mathcal{S}$ 其满足 $p(x) = U$ ，并且给定一个态射 $f : V \to ...

152 次浏览0 个引用

范畴上的范畴

令 $\mathcal{C}$ 为一个范畴。我们称任意一个函子 $p : \mathcal{S} \to \mathcal{C}$ 为一个 $\mathcal{C}$ 上的范畴。 ...

125 次浏览0 个引用

一个范畴 $\mathcal{C}$由以下部件构成：一个对象的类，记作${\rm{Ob}}(\mathcal{C})$ 对于每一对对象$A,B$，都有一个从$A$到$B$的态射的集合对于每三个对象$A,B,C$，都有一个态射的复合律$${\rm{Hom}}(A,B)\times {\rm{Ho ...

126 次浏览0 个引用

一个范畴被称为群胚，如果它的每一个态射都是同构。 ...

267 次浏览0 个引用