а вот ещё рант

[juan_gandhi]

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

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

Comments

[huzhepidarasa.livejournal.com]

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

[ivan-gandhi.livejournal.com]

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