а вот ещё рант

[juan_gandhi]

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

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

Comments

[ivan-gandhi.livejournal.com]

Вопрос - what's the codomain category of this functor?

[cadadr.livejournal.com]

Этот вопрос уже отдельный. Всё же одно дело когда пишут "Hom_C (A,B)", и ничего особенного под этим не подразумевают (ну какая-то сепулька стрелок из A в B), а другое дело — "Hom_C (A,−)" или там "Hom_C (−,B)".