स्नातक (प्रारंभिक)Category Theoryनियोजित
Universal properties
Describing objects by their relationships rather than their elements: universal properties of products, quotients, free objects and fields of fractions, and the fact that an object with a universal property is unique up to unique isomorphism.
math.cat.universal-properties
इस विषय का पाठ अभी लिखा नहीं गया है। नीचे दी गई रूपरेखा पाठ्यक्रम-मानचित्र का हिस्सा है और इसकी समीक्षा नहीं हुई है।
इस पर आधारित
16 अनिवार्य पूर्वापेक्षाएँ (बिल्कुल नीचे तक)
आप सीखेंगे
- State the universal properties of products in Set, Grp and Top, of quotient sets and quotient groups, and of free monoids and free groups.
- Prove that any two objects with the same universal property are isomorphic by a unique isomorphism compatible with the structure maps.
- Recognise when a familiar construction, such as the tensor product or the field of fractions, is best defined by a universal property.
परिभाषा
- A universal arrow from an object X of C to a functor U : D → C is an object F of D with a morphism η : X → U(F) such that every morphism X → U(E) equals U(g) ∘ η for a unique g : F → E.
- A free monoid on a set S is a monoid F(S) with a map S → F(S) through which every map from S to a monoid factors uniquely via a monoid homomorphism.
प्रमेय
- Objects defined by a universal property are unique up to a unique isomorphism compatible with the structure maps.
- The free monoid on S is the monoid of finite words in the elements of S under concatenation.
- The quotient map X → X/~ is universal among maps out of X that are constant on equivalence classes.
आम भ्रांतियाँ
- Thinking a universal property constructs an object; it characterises one, and existence must be proved separately. For example, the fields 𝔽₂ and 𝔽₃ have no product in the category of fields.
- Forgetting the uniqueness clause, which is what makes the object unique up to isomorphism.
आगे ले जाता है
वैकल्पिक खोजें
- Limits and colimits Products, equalisers, pullbacks and their duals are all limits or colimits: one universal property covering many constructions.विस्मय पथ →
- Kan extensions Limits and colimits are themselves special Kan extensions, along the functor to the category with one object and one morphism.विस्मय पथ →
- ← Relations, equivalence relations and partitions
- ← Composition
- ← Constructing ℤ, ℚ and ℝ
- ← Metric spaces and point-set topology
आगे पढ़ने के लिए
- Tom Leinster, Basic Category Theory (2014)
- Emily Riehl, Category Theory in Context (2016)