а вот ещё рант

[juan_gandhi]

Если категорщик пишет слово Hom, то он вызывает у меня большие подозрения. Если какой другой математик или программист пишет слово Hom, то он вызывает у меня большое сочувствие, unless они имеют в виду какую-нибудь конкретную замкнутую моноидальную категорию.

А ведь сплошь и рядом.

Comments

[ivan-gandhi.livejournal.com]

Ну... тут две специфические локально-малые категории. Set, кстати, вообще ни при чём; всё можно было выразить абстрактнее, и в терминах сопряженных функторов - тот факт, что свободные алгебры... ну и т.д.

[sober-space.livejournal.com]

Ну я же и говорю... непривычно...