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.

У тебе є проблеми?
Наберіть або намалюйте його на сторінці розв' язувача: кожен крок, малюнок, відповідь до запитання.
Розв' язати →

Інші гілки