主題
Search

纖維範疇


纖維範疇 F拓撲空間 X 上由以下內容組成:

1. 對於每個 子集 U subset= X,一個範疇 F(U)

2. 對於每個包含 i:V↪U,一個 函子 i^*:F(U)->F(V),以及

3. 一個自然同構

 tau=tau_(i,j):(ij)^*->j^*i^*

對於每對包含 j:W↪Vi:V↪U

FiberedCategoryDiagram

此外,對於任意三個可組合的 包含 k:N↪Wj:W↪V,和 i:V↪U,存在一個如上所示的自然交換

有時,使用 (F,tau) 對來更精確地表示纖維範疇,而速記 a|V 有時用於表示 i^*(a)i:V↪Ua in F(U)


另請參閱

範疇, 交換圖, 複合, 纖維範疇態射, 函子, 包含對映, 同構, 態射, 開集, 拓撲空間

本條目由 Christopher Stover 貢獻

使用 探索

參考文獻

Moerdijk, I. "Introduction to the Language of Stacks and Gerbes." 2002. http://arxiv.org/pdf/math/0212266v1.pdf.

請引用為

Stover, Christopher. “纖維範疇。” 來自 Web 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/FiberedCategory.html

主題分類