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.
Ohatra · {1,2} union {3}
{1,2} union {3}
Dingana amin'ny dingana
- 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|.
Asehoy ny valinteny
Ankehitriny ianao Misafidiana olana iray, na soraty na esory ny anao manokana. Ny dingana tsirairay, sary iray, ny valiny miafina mandra-pahafantaranao.
Ny kaonty maimaimpoana dia mampiditra ny fanamarihana amin'ny lesona tsirairay, ny tahirin'ny zavatra vitanao, ny olana voavahao ao amin'ny toerana iray, ary ny mpampianatra iray izay azonao anontanio momba ity pejy ity. misokatra ho an'ny rehetra ny matematika, na efa niditra na tsy niditra.
Misoratra anarana FidiranaMarika ampiasaina eto
Tsindrio ny marika iray mba hahitana ny famaritana feno, sary, ary ny dikan'ny litera tsirairay ao aminy.
Ahoana ny fomba: Categories, functors and natural transformations
- The two sets.
- Keep everything in either set.
- Cardinalities. Note |A ∪ B| = |A| + |B| − |A ∩ B|.
Fanontaniana napetrak'ireo olona
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.