>производные категории вообще ни к хую для рациональности не нужны

Это кстати была бы скорее неверная, но обсуждаемая точка зрения -- если бы рациональность сама по себе была бы хоть за каким-то хуем нужна (а не представляла собой идиотский бессмысленный вопрос, нужный только для приложения производных категорий). Но лично Хассетт как раз в своем праве, он все понимает не хуже нас, тут и говорить не о чем.