а вот ещё рант

[juan_gandhi]

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

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

Comments

[huzhepidarasa.livejournal.com]

А как надо?

[sober-space.livejournal.com]

Я когда начал читать вполне себе алгебраиста Касселя то был потрясён как он использует Hom ))

Он его буквально изнасиловал. Левая часть хома могла быть в категории алгебр, другая в категории множеств. Ну и т.д. и т.п. ))))

[dimpas.livejournal.com]

ну да, вот Борис Гребенщиков (учившийся на матфаке ЛГУ в свое време) в какой-то песне даже поет "Hom, ho–hom"...

:-)

[marina_p]

Я пишу Hom, и вообще это во всех книжках так пишется. А что не так?

[huzhepidarasa.livejournal.com]

А вообще нам, долбокодерам, слишком большие множества неинтересны (количество битов во Вселенной конечно). Нам, максимум, нужно взять N, к нему применить Powerset счетное число раз, все это запихать в мешок — и бац, вот вам множество «всех» множеств.