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.

Mfano wenye matokeo · {1,2} union {3}

Set-Theory · Sets

{1,2} union {3}

Hatua kwa hatua

  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|.

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

Sasa Chagua tatizo, au aina ya barua au uchore.

Keep your own working

Akaunti la bure laongezea mambo makuu juu ya kila somo, rekodi ya yale ambayo umemaliza, matatizo yako ya kutatua katika sehemu moja, na mtunzaji unayeweza kuuliza juu ya ukurasa huu.

Jisajili Login

Ishara zinazotumiwa hapa

Vaa alama yoyote ya ufafanuzi kamili, picha, na maana ya kila herufi.

Jinsi ya Kufaulu: Categories, functors and natural transformations

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

Maswali ambayo watu huuliza

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.

Mengi zaidi katika Category Theory

Universal properties, limits and adjunctions