maths.free › Category Theory

Category Theory

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

Pamokos

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.

Daugiau pamokų

Kai kurios iš šių pamokų pritaikytos prie atvirų tekstų: Wikipedia. Kiekviename pamokų puslapyje pavadinimas jo šaltinis ir licencija.

Čia naudojami simboliai

Bakstelėkite visus simbolius, kad būtų galima apibrėžti visą apibrėžimą, paveikslėlį ir ką reiškia kiekviena raidė.

Klausimai, kuriuos klausia žmonės

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.

Turi savo problemą?
Įveskite jį arba piešti jį sprendėjo puslapyje: kiekvieną žingsnį, paveikslėlį, atsakymą paslėptas, kol jūs klausiate.
Išspręsti →

Kiti šakos