смысл употребления этого понятия, катаморфизм, вообще ускальзывает от меня Катаморфизм — это морфизм из начального объекта. Раньше он не имел стандартного названия, а на диаграммах обозначался восклицательным знаком. Но не называть же его «восклицательным знаком». (Точнее, это всё происходит не в произвольной категории, а в категории алгебр, но это уже детали.)
Поменьше аксиоматики. Тогда придётся выбросить и доказательства, ибо доказательства опираются на аксиомы. Математика доказывает правильность формул. Написать произвольную формулу может и идиот, но нас ведь интересуют правильные формулы. :) Computer science доказывает корректность программ. Если этого нет, зачем вообще весь этот балаган?
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2010-11-18 08:33 pm (UTC)Катаморфизм — это морфизм из начального объекта. Раньше он не имел стандартного названия, а на диаграммах обозначался восклицательным знаком. Но не называть же его «восклицательным знаком». (Точнее, это всё происходит не в произвольной категории, а в категории алгебр, но это уже детали.)
Поменьше аксиоматики.
Тогда придётся выбросить и доказательства, ибо доказательства опираются на аксиомы. Математика доказывает правильность формул. Написать произвольную формулу может и идиот, но нас ведь интересуют правильные формулы. :) Computer science доказывает корректность программ. Если этого нет, зачем вообще весь этот балаган?