«Категория — это граф, в котором у каждой стрелки есть имя, и стрелки можно склеивать, если голова одной совпадает с хвостом другой.» — вольный пересказ определений В качестве приложения к этой статье я добавляю её полный исходный текст с разметкой. Поскольку платформа Дзен не поддерживает сложные формулы, я вынужден вставлять их в виде картинок, что может затруднять чтение. Вы можете скопировать этот исходник в любой современный ИИ и задавать любые вопросы, адаптировать изложение под свой уровень или просто прояснять непонятные места...