а вот ещё рант

[juan_gandhi]

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

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

Comments

[huzhepidarasa.livejournal.com]

А как надо?

[ivan-gandhi.livejournal.com]

Ну он же для локально малых категорий только определён.

[huzhepidarasa.livejournal.com]

It's a "bring your own set theory" party. Когда существует какой-никакой Hom, оно и хорошо.

[ivan-gandhi.livejournal.com]

Может, и хорошо - а на что оно?

[migmit.livejournal.com]

Я поддерживаю Джонстона в деле освобождения теории категорий от тёмных деталей теории множеств.

[ivan-gandhi.livejournal.com]

А я всё никак не могу привыкнуть, что истины, кажущиеся очевидными после прочтения первых ну трёх глав Теории Топосов, оказывается, могут вызывать такие сильные возражения.

[migmit.livejournal.com]

Наверное, это потому, что не такие уж они и истины.