maths.free › Category Theory

Category Theory

Objects, arrows, functors, universal properties: mathematics about mathematics.

Zvidzidzo

Instead of asking what things are, ask how they map to each other. Category theory finds the same pattern (a product, a limit, an adjunction) recurring across every branch, and gives it one name.

More lessons

Zvimwe zvezvidzidzo izvi zvakagadzirirwa kubva kune zvakavhurika zvinyorwa: Wikipedia. Ichi chidzidzo chinopa zita remutauro wayo uye chinoratidza chikonzero chekugadzirwa kwake.

Mazita anoshandiswa pano

Tinya chero chiratidzo kuti uone chirevo chakazara, vhidhiyo, uye kuti chii chinoreva chero chiratidzo.

Mabvunzo vanhu vanobvunza

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.

Une dambudziko rako?
Dzvanya kana kudhonza pane peji re solver: pazuva rimwe nerimwe, pfungwa, mhedzisiro yakachengetwa kusvika iwe unobvunza.
_Kugadzirisa →

Other branches