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