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.
Umzekelo osebenzelayo · {1,2} union {3}
{1,2} union {3}
Inyathelo ngenyathelo
- 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|.
Bonisa impendulo
ngoku Khetha ingxaki, okanye ubhale okanye uzobe yakho. Inyathelo ngalinye, umfanekiso, impendulo ifihlakele de ubuze.
I akhawunti ekhululekileyo idibanisa amaphetshana kwi ncwadi nganye, irekhodi lento ogqibe ngayo, iingxaki zakho ezisoliweyo kwindawo enye, nomfundi onokuthi ubuze malunga nale phepha. IiMathematiki ngokwazo zivuliwe kubo bonke, bangeniswe okanye hayi.
Bhalisa Igama elithileIimpawu ezisetyenziswa apha
Nqakraza nasiphi na isibonakaliso sokuqonda okupheleleyo, umfanekiso, nokuba iileta zonke zithetha ntoni.
Indlela yokusebenza: Categories, functors and natural transformations
- The two sets.
- Keep everything in either set.
- Cardinalities. Note |A ∪ B| = |A| + |B| − |A ∩ B|.
Imibuzo abantu bebuza
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.