स्नातकोत्तर प्रथम वर्षCategory Theoryनियोजित
Enriched categories
Categories enriched in a monoidal category V, with hom-objects in place of hom-sets: additive categories as Ab-enriched, strict 2-categories as Cat-enriched, Lawvere's metric spaces as [0, ∞]-enriched, and enriched functors and natural transformations.
math.cat.enriched-categories
इस विषय का पाठ अभी लिखा नहीं गया है। नीचे दी गई रूपरेखा पाठ्यक्रम-मानचित्र का हिस्सा है और इसकी समीक्षा नहीं हुई है।
इस पर आधारित
21 अनिवार्य पूर्वापेक्षाएँ (बिल्कुल नीचे तक)
आप सीखेंगे
- Define V-enriched categories, functors and natural transformations.
- Show that Lawvere metric spaces are categories enriched in ([0, ∞], ≥, +, 0), with the triangle inequality as composition.
- Explain why additive categories are Ab-enriched and strict 2-categories are Cat-enriched.
परिभाषा
- For a monoidal category (V, ⊗, I), a V-category has hom-objects C(A, B) in V, composition morphisms C(B, C) ⊗ C(A, B) → C(A, C) and identities I → C(A, A), satisfying associativity and unit axioms.
- A Lawvere metric space is a set with distances d(x, y) ∈ [0, ∞] such that d(x, x) = 0 and d(x, z) ≤ d(x, y) + d(y, z); it is exactly a category enriched in ([0, ∞], ≥, +, 0).
प्रमेय
- Locally small categories are exactly the categories enriched in (Set, ×, 1).
- Preorders are exactly the categories enriched in the two-element poset of truth values with conjunction.
- Ab-enriched categories with one object are exactly rings.
आम भ्रांतियाँ
- Thinking enrichment adds arbitrary extra structure to hom-sets; composition must itself be a morphism of V.
- Assuming Lawvere metric spaces are symmetric; enrichment does not force d(x, y) = d(y, x).
वैकल्पिक खोजें
- Higher categories Strict 2-categories are categories enriched in Cat; weakening their laws gives bicategories.
आगे पढ़ने के लिए
- G. M. Kelly, Basic Concepts of Enriched Category Theory (1982)
- F. William Lawvere, Metric spaces, generalized logic, and closed categories (1973)