纤维范畴
在讨论所谓的纤维范畴前，我们先了解什么是强笛卡尔态射。 令 $p : \mathcal{S} \to \mathcal{C}$ 为一个 $\mathcal{C}$上的范畴 。给定一个对象 $x \in \mathcal{S}$ 其满足 $p(x) = U$ ，并且给定一个态射 $f : V \to ...
105 次浏览0 个引用
范畴一个 范畴 $\mathcal{C}$由以下部件构成： 一个对象的类，记作${\rm{Ob}}(\mathcal{C})$ 对于每一对对象$A,B$，都有一个从$A$到$B$的态射的集合 对于每三个对象$A,B,C$，都有一个态射的复合律$${\rm{Hom}}(A,B)\times {\rm{Ho ...
81 次浏览0 个引用
范畴上的范畴令 $\mathcal{C}$ 为一个 范畴 。我们称任意一个函子 $p : \mathcal{S} \to \mathcal{C}$ 为一个 $\mathcal{C}$ 上的范畴 。 ...
76 次浏览0 个引用
群胚一个 范畴 被称为 群胚 ，如果它的每一个态射都是同构。 ...
154 次浏览0 个引用
热门
最新