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