(no subject)
Dec. 13th, 2015 12:18 pmЧитая статью про суперкатегории, натолкнулся на понятие "supernatural isomorphism". Типа: "между этими двумя функторами нет естественного изоморфизма, но есть сверхъестественный". Авторам надо бы обратиться за финансированием в Templeton Foundation, там это хорошо пойдет.