Это учебник теории категорий, рассчитанный на программистов и математических логиков. Отвечаю на вопросы здесь https://dxdy.ru/topic115836.html
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Это учебник теории категорий, рассчитанный на программистов и математических логиков. Отвечаю на вопросы здесь https://dxdy.ru/topic115836.html