а вот ещё рант

[juan_gandhi]

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

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

Comments

[anhinga-anhinga.livejournal.com]

Напишу-ка я, в чём оно состоит, поскольку кажется, что оно имеет больше шансов оказаться "настоящим", чем то, что обсуждаем веткой ниже. Это определение в (крайне нелюбимом мной) "монадическом стиле":

Есть естественные преобразования: i from id to GoF, j from FoG to id, такие, что выполняются некоторые равенства:

http://ncatlab.org/nlab/show/triangle+identities

(примерно четвертое сверху определение здесь:
http://ncatlab.org/nlab/show/right+adjoint
)

***

А, я только теперь заметил, что это дано, как главное определение в этой заметке:

http://ncatlab.org/nlab/show/adjoint+functor

(Оказывается, ещё можно говорить, что это "adjunction in the 2-category Cat")