maths.free › Category Theory

Category Theory

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

Lärdomar

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.

Fler lärdomar

Några av dessa lärdomar är anpassade till öppna texter: Wikipedia. Varje lektion sida namnger dess källa och licens.

Symboler som används här

Knacka på alla symboler för den fullständiga definitionen, en bild, och vad varje bokstav i den betyder.

Frågor folk frågar

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.

Har du några egna problem?
Skriv in det eller rita det på lösaren sida: varje steg, en bild, svaret dolt tills du frågar.
Lös →

Övriga filialer