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}
Step by step
- 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|.
Reveal the answer
Now you Pick a problem, or type or draw your own. Every step, a picture, the answer hidden until you ask.
უფასო ანგარიშის გამოყენებისას, ყველა გაკვეთილზე დამატებით ჩანაწერებს ნახავთ, დასრულებული და გადაწყვეტილი ამოცანების ჩანაწერებს ერთ ადგილას და მასწავლებელს, რომელსაც ამ გვერდის შესახებ შეკითხვა შეგიძლიათ გაუწიოთ. მათემატიკა ყველასთვის ხელმისაწვდომია, ანგარიშის შექმნის შემდეგაც კი.
რეგისტრაცია შესვლააქ გამოყენებული სიმბოლოები
Tap any symbol for the full definition, a picture, and what every letter in it means.
როგორ: Categories, functors and natural transformations
- The two sets.
- Keep everything in either set.
- Cardinalities. Note |A ∪ B| = |A| + |B| − |A ∩ B|.
Questions people ask
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.