主題
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 貢獻

使用 探索

參考資料

Brylinski, J. 環路空間、特徵類和幾何量子化。 Boston: Birkhäuser, 1993.

引用為

Stover, Christopher. "範疇的預層。" 來自 Web 資源，由 Eric W. Weisstein 建立。 https://mathworld.tw/PresheafofCategories.html

主題分類