菜单图标 主题
Search

纤维范畴态射

下载笔记本图标下载 Wolfram 笔记本

令 F 和 G 为拓扑空间 X 上的纤维范畴。纤维范畴的态射 phi:F->G 包括：

1. 对于每个开子集 U subset= X，函子 phi(U):F->G(U) 和

2. 对于每个包含 i:V↪U，自然同构 alpha_i:phi_Vi^*->i^*phi_U。

FiberedCategoryMorphismDiagram

要求这些结构满足关于 tau 的相容性条件，即对于包含 j:W↪V, i:V↪U，上述图表应该可交换。

另请参阅

范畴, 交换图, 复合, 纤维范畴, 函子, 包含映射, 同构, 态射, 开集, 拓扑空间

此条目由 Christopher Stover 贡献

使用 Wolfram|Alpha 探索

参考文献

Moerdijk, I. "堆栈和 Gerbe 语言导论." 2002. http://arxiv.org/abs/math/0212266.

请如此引用

Stover, Christopher. "纤维范畴态射." 来自 MathWorld——Wolfram 网络资源，由 Eric W. Weisstein 创建. https://mathworld.net.cn/FiberedCategoryMorphism.html

主题分类