Как пересобрать математику? Стрелки вместо элементов.

Опис:

The video begins with an introduction at 00:00, then presents the core idea at 02:54, followed by a discussion of compositions at 05:17 and associativity at 06:35. It explores objects and their identification at 08:44, defines the concept of a category at 11:25, and addresses the problem of equality at 13:46. The speaker then provides examples and constructions at 18:35, discusses types in programming at 24:50, and wraps up with a conclusion at 26:40.