а вот ещё рант

[juan_gandhi]

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

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

Comments

[huzhepidarasa.livejournal.com]

Ну так и функтор, если задуматься, какое-то такое отображение. Не очень понятное. Не функция, а что?

[ivan-gandhi.livejournal.com]

Не функция. Функция в теории множество определена.

А соответствие - когда каждому объекту... и каждому морфизму...

[huzhepidarasa.livejournal.com]

Ну вот мы же не определяем, что такое соответствие. We know it when we see it.