а вот ещё рант

[juan_gandhi]

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

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

Comments

[sober-space.livejournal.com]

Я когда начал читать вполне себе алгебраиста Касселя то был потрясён как он использует Hom ))

Он его буквально изнасиловал. Левая часть хома могла быть в категории алгебр, другая в категории множеств. Ну и т.д. и т.п. ))))

[ivan-gandhi.livejournal.com]

О, как это? Можно уточнить ссылку?

[sober-space.livejournal.com]

Ну вот (http://books.google.ru/books?id=S1KE_pToY98C&lpg=PP1&hl=ru&pg=PA7#v=onepage&q&f=false). Нет, ну там всё вполне корректно, конечно, но мне было непривычно.

[ivan-gandhi.livejournal.com]

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

[sober-space.livejournal.com]

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