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.

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

Други гранки