maths.free › Category Theory

Category Theory

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

Lezioni

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.

Altre lezioni

Alcune di queste lezioni sono adattate da testi aperti: Wikipedia. Ogni pagina di lezione ne indica la fonte e la licenza.

Simboli utilizzati qui

Toccare qualsiasi simbolo per la definizione completa, un'immagine, e che cosa ogni lettera in esso significa.

Domande che la gente chiede

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.

Hai un problema anche tu?
Digitare o disegnare sulla pagina del risolutore: ogni passo, un'immagine, la risposta nascosta fino a quando non si chiede.
Risolvi →

Altri rami