纤维范畴
在讨论所谓的纤维范畴前，我们先了解什么是强笛卡尔态射。 令 $p : \mathcal{S} \to \mathcal{C}$ 为一个 $\mathcal{C}$上的范畴 。给定一个对象 $x \in \mathcal{S}$ 其满足 $p(x) = U$ ，并且给定一个态射 $f : V \to ...
Viewed 152 timesTagged 0 time
CategoryA category $\mathcal{C}$ consists of the following data: A class of objects, denoted by ${\rm{Ob}}(\mathcal{C})$. To each pair of objects $A, B$, a se ...
Viewed 127 timesTagged 0 time
范畴上的范畴令 $\mathcal{C}$ 为一个 范畴 。我们称任意一个函子 $p : \mathcal{S} \to \mathcal{C}$ 为一个 $\mathcal{C}$ 上的范畴 。 ...
Viewed 125 timesTagged 0 time
GroupoidA groupoid is a category where every morphism is an isomorphism. ...
Viewed 268 timesTagged 0 time
Hot
New