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.
Arbejdstxrd eksempel · {1,2} union {3}
{1,2} union {3}
Trin for trin
- 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|.
Afslør svaret
Nu er du Vælg et problem, eller skriv eller tegne din egen. Hvert skridt, et billede, svaret skjult, indtil du spørger.
En gratis konto tilføjer noter om hver lektion, en rekord over, hvad du har afsluttet, dine løste problemer på ét sted, og en vejleder, du kan spørge om denne side. Matematik selv er åben for alle, logget på eller ej.
Tilmeld dig LoginSymboler brugt her
Tryk på ethvert symbol for den fulde definition, et billede, og hvad hvert bogstav i det betyder.
Hvordan: Categories, functors and natural transformations
- The two sets.
- Keep everything in either set.
- Cardinalities. Note |A ∪ B| = |A| + |B| − |A ∩ B|.
Spørgsmål folk spørger
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.