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.

Radni primjer · {1,2} union {3}

Set-Theory · Sets

{1,2} union {3}

Korak po korak

  1. A = \left\{1, 2\right\},\quad B = \left\{3\right\}

    The two sets.

  2. A \cup B = \left\{1, 2, 3\right\}

    Keep everything in either set.

  3. |A| = 2,\ |B| = 1,\ |A \cup B| = 3

    Cardinalities. Note |A ∪ B| = |A| + |B| − |A ∩ B|.

Otkrij odgovor
A \cup B = \left\{1, 2, 3\right\}

Now you Izaberite problem, ili tipkanje ili nacrtati vlastiti. Svaki korak, slika, odgovor skriven dok ne pitate.

Zadrži svoj rad

Besplatan račun dodaje bilješke na svakoj lekciji, zapis onoga što ste završili, rješeni problemi na jednom mjestu, i tutor možete pitati o ovoj stranici. Sama matematika je otvorena za sve, potpisani ili ne.

Prijavi se Prijava

Simboli koji se koriste ovdje

Dodirnite bilo koji simbol za punu definiciju, sliku, i što znači svako slovo u njoj.

Kako: Categories, functors and natural transformations

  1. The two sets.
  2. Keep everything in either set.
  3. Cardinalities. Note |A ∪ B| = |A| + |B| − |A ∩ B|.

Pitanja koja ljudi postavljaju

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.

Više u Category Theory

Universal properties, limits and adjunctions