maths.free › Category Theory

Category Theory

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

Poučení

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.

Další lekce

Některé z těchto lekcí jsou přizpůsobeny otevřeným textům: Wikipedia. Každá lekční stránka jmenuje svůj zdroj a licenci.

Zde použité symboly

Ťukněte na jakýkoliv symbol pro úplnou definici, obrázek a co každé písmeno v něm znamená.

Otázky, které se lidé ptají

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.

Máš nějaký problém?
Napište to nebo nakreslete na stránku řešitele: každý krok, obrázek, odpověď skrytou, dokud se nezeptáte.
Vyřešit →

Ostatní pobočky