Новости по тегу "Теория категорий"
Подборка публикаций, содержащих тег "Теория категорий". Актуальные темы и важные события.
Категории типов. Часть 1. Hom-типы
Данный обзор посвящён применению теории категорий в программировании. Акцент сделан на то, что стремление к повышению качества программ неизбежно...