主题
Search

范畴的预层

范畴的预层由以下数据组成

1. 对于拓扑空间 X, Y 的每个局部同胚 f:Y->X，一个范畴 C(f:Y->X)；

2. 对于局部同胚的每个图表 f degreesg:Z->Y->X，一个函子 g^(-1):C(f:Y->X)->C(f degreesg:Z->X)；

3. 对于局部同胚的每个图表 f degreesg degreesh:W->Z->Y->X，一个可逆自然变换 theta_(g,h):h^(-1)g^(-1)->(gh)^(-1)。

PresheafofCategoriesDiagram

此外，对于每个图表

f degreesg degreesh degreesk:T->W->Z->Y->X

拓扑空间 T, W, Z, Y, 和 X，上述图表中需要交换性。

另请参阅

范畴, 范畴论, 交换图, 函子, 同胚, 预层, 层, 拓扑空间

此条目由 Christopher Stover 贡献

使用 Wolfram|Alpha 探索

参考资料

Brylinski, J. 环路空间、特征类和几何量子化。 Boston: Birkhäuser, 1993.

引用为

Stover, Christopher. "范畴的预层。" 来自 MathWorld--Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/PresheafofCategories.html

主题分类