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}
Қадамма-қадам
- 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|.
Жавобни кўрсатиш
Энди сизлар Мавзуни танланг, ёзинг ёки ўзингиз чизинг. Ҳар бир қадам, расм, жавоб сиз сўрагунча яширин.
Бепул ҳисоб ҳар бир дарсга ёзув қўшиб беради, сиз тугатган нарсалар ва ҳал қилинган масалалар бир жойда қайд этилади ва сиз бу саҳифа ҳақида устоздан сўрашингиз мумкин. Математика ўзида очиқ бўлиб, унга кириш ёки киришни истамаган ҳар кимга очиқ.
Ройхатдан ўтиш КиришБу ерда қўлланилган белгилар
Барча белгилар учун тўлиқ таъриф, сурат ва ҳар бир ҳарфнинг маъносини кўриш учун белгини босинг.
Қандай: Categories, functors and natural transformations
- The two sets.
- Keep everything in either set.
- 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.