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.

పనిరోజులు · {1,2} union {3}

{1,2} union {3}

అడుగు ద్వారా

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

జవాబు వెల్లడి చేయండి
A \cup B = \left\{1, 2, 3\right\}

ఇప్పుడుమీరు ప్రతీ అడుగున, మీరు అడిగేంత వరకు దాక్కున్న జవాబు.

మీ సొంత పని ఉంచుకోండి

మీరు ఏ పాఠం నేర్చుకున్నారో, ఆ విషయం గురించి ఒక రిపోర్టులో మీరు తీసుకున్న సమస్యలను, మీ సమస్యలను ఒక స్థలంలో పరిష్కరించిన సమస్యలను, మీరు ఈ పేజీ గురించి అడగవచ్చు.

నమోదు చేసుకోండి ప్రవేశించు

ఇక్కడ వుపయోగించిన చిహ్నాలు

మొదటి శతాబ్దంలోని క్రైస్తవులు కూడా అదే విధంగా భావించారు.

ఎలా: Categories, functors and natural transformations

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

ప్రశ్నలు

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.

ఇంకా Category Theory