а вот ещё рант

[juan_gandhi]

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

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

Comments

[cadadr.livejournal.com]

Почему правильная? Просто используется, когда возникают технические вопросы. Где-то в Séminaire de Géométrie Algébrique такое было написано.

[ivan-gandhi.livejournal.com]

Ну нет.

Этак мы всякую категорию в множества запишем, в том числе и Set_ZFC.

Да в конце концов, Hom_Cat(1, Set) - это что вообще? Множество тоже? Любопытно, любопытно.

[huzhepidarasa.livejournal.com]

Cat вроде бы категория (глобально) малых категорий, Set в нее не входит.