В программировании существует практика описания шаблонов проектирования для решений типичных задач. В то же время опытные разработчики предостерегают начинающих разработчиков от чрезмерного использования шаблонов, замечая, что «шаблоны» — это ещё не всё, и нужно уметь придумывать самостоятельные решения. Теория категорий — как раз то все. Разработчики во многом мыслят интуитивно им и многие схемы, которые они рисуют на доске, являются категорными, то есть строгими конструкциями, а не просто рисунками. В докладе будет показано, насколько естественно описывать архитектуру проекта в теоркат схемах, как раскрывается выразительность языка теории, и какие дополнительные преимущества даёт использование теории.

More than 30 protesters were arrested Wednesday morning when Seattle police entered the CHOP to take back the East Precinct.