maths.free › Category Theory › Categories, functors and natural transformations
Categories, functors and natural transformations
Objects and arrows, composition, and maps between categories.
A category is objects plus arrows that compose associatively with identities: sets and functions, groups and homomorphisms, spaces and continuous maps. A functor maps one category to another preserving composition. Picture it: a commutative diagram, a square of arrows where both routes agree. Think it: "naturality" makes precise what it means for a construction to involve no arbitrary choices.
လုပ်ဆောင်ခဲ့သောဥပမာ · {1,2} union {3}
{1,2} union {3}
ခြေလှမ်းတစ်လှမ်း
- A = \left\{1, 2\right\},\quad B = \left\{3\right\}
The two sets.
- A \cup B = \left\{1, 2, 3\right\}
Keep everything in either set.
- |A| = 2,\ |B| = 1,\ |A \cup B| = 3
Cardinalities. Note |A ∪ B| = |A| + |B| − |A ∩ B|.
အဖြေကို ဖော်ပြပါ
အခုတော့သင် ပြဿနာတစ်ခု Pick, သို့မဟုတ် type သို့မဟုတ်သင့်ကိုယ်ပိုင်ဆွဲ. အားလုံးအဆင့်, ဓာတ်ပုံ, သင်မေးသောအခါအထိအဖြေကိုပုန်း.
တစ်ဦးအခမဲ့အကောင့်ကိုအားလုံးသင်ခန်းစာအပေါ်မှတ်စုများ adds, သင်ပြီးဆုံးခဲ့သည်ဘာ၏မှတ်တမ်း, တစ်နေရာတည်းတွင်သင်၏ဖြေရှင်းပြဿနာများကို, နှင့်သင်ဤစာမျက်နှာအကြောင်းကိုမေးနိုင်ပါတယ်ဆရာ. သင်္ချာကိုယ်လူတိုင်းအတွက်ဖွင့်, သို့မဟုတ်မဟုတ်ခဲ့.
မှတ်ပုံတင် ဝင်ရောက်မှုဒီနေရာမှာ သုံးစွဲတဲ့ သင်္ကေတများ
ပြည့်စုံသောအဓိပ္ပါယ်ဖွင့်ဆိုချက်အတွက်မည်သည့်အက္ခရာကိုမဆိုနှိပ်ပါ၊ ဓာတ်ပုံနှင့်၎င်းတွင်စာလုံးတိုင်းကိုဆိုလိုသည်ကို။
ဘယ်လို: Categories, functors and natural transformations
- The two sets.
- Keep everything in either set.
- Cardinalities. Note |A ∪ B| = |A| + |B| − |A ∩ B|.
လူတွေမေးတဲ့မေးခွန်းတွေ
What is a functor?
A map between categories that sends objects to objects and arrows to arrows while respecting composition. Taking the fundamental group of a space is a functor from spaces to groups.