а вот ещё рант

[juan_gandhi]

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

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

Comments

[migmit.livejournal.com]

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

[ivan-gandhi.livejournal.com]

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

[migmit.livejournal.com]

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