maths.free › Category Theory

Category Theory

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

Лекции

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.

Више лекција

Неке лекције су прилагођене из отворених текстова: Wikipedia. Свака лекција страница назива извор и дозволу.

Симболи који се овде користе

Додирните било који симбол за пуну дефиницију, слику, и шта значи свако слово у њој.

Питања људи постављају

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.

Имаш ли и ти проблем?
Укуцајте или нацртајте на страници решавача: сваки корак, слика, одговор скривен док не питате.
Реши →

Остале гране