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.
Kugwira ntchito chitsanzo · {1,2} union {3}
{1,2} union {3}
Gawo ndi Gawo
- 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|.
Kusonyeza yankho
Tsopano inu Sankhani vuto, kapena kulemba kapena kujambula wanu. Pakalipano, yankho limeneli lidzapezeka patsamba lino.
M’malo mwake, maakaunti aulere amawonjezera malemba pazophunzira zonse, mnda wa zomwe mwamaliza, mavuto anu omaliza m’malo limodzi, ndi m’bale amene mungafunse za nkhaniyo. Maphunziro a matekinoloje ndi otsegulira kwa aliyense, olembetsa kapena osalembetsa.
Kulembetsa KulowaZithunzi
Pitani pa dzina lililonse lachifaniziro kuti mudziwe tanthauzo lake, chithunzi chake, ndi zimene limatanthauza.
Momwe mungagwiritsire ntchito: Categories, functors and natural transformations
- The two sets.
- Keep everything in either set.
- Cardinalities. Note |A ∪ B| = |A| + |B| − |A ∩ B|.
Mafunso omwe anthu amafunsa
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.