https://courses.digitable.life/tags/%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D1%8F-%D0%BA%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D0%B9/ Recent content in Теория Категорий on Digitable courses Hugo ru-RU Sat, 01 Aug 2026 00:12:59 +0300 https://courses.digitable.life/post/functional-programming/09-functor-map/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/09-functor-map/ Одна связная карта всех абстракций ФП: зачем нужна каждая ступень от Semigroup до Comonad, чем они отличаются по силе, как выбрать нужную под задачу и сколько всё это стоит в реальном проекте https://courses.digitable.life/post/mathematics/10-category-theory-in-programming/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/mathematics/10-category-theory-in-programming/ Как абстрактная чепуха превращается в рабочий инструмент: категория типов, законы функтора и монады, аппликативная валидация, катаморфизмы вместо ручной рекурсии и линзы для неизменяемых структур — со строгими определениями и исполняемым кодом. https://courses.digitable.life/post/mathematics/09-category-theory-basics/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/mathematics/09-category-theory-basics/ Строгое введение в теорию категорий для инженера: определение категории и законы композиции, изоморфизмы и двойственность, универсальные свойства произведения и копроизведения, функторы, естественные преобразования и лемма Йонеды — с ручными разборами и проверяемым кодом на Python.