(no subject)

Читая статью про суперкатегории, натолкнулся на понятие "supernatural isomorphism". Типа: "между этими двумя функторами нет естественного изоморфизма, но есть сверхъестественный". Авторам надо бы обратиться за финансированием в Templeton Foundation, там это хорошо пойдет.