regarde-toi!

(via bytebuster463)

россия рехнулась на гомосексуализации

Что ни день, то новости.

Ну уж бы вылез этот Путин из клозета, всё же всем же понятно, чо.

bsci

The multiverse is created inside a solution of cobalt in kerosene. This fluid isn’t usually considered a metamaterial, but lead researcher Igor Smolyaninov and co found that by applying a magnetic field, the ferromagnetic nanoparticles of cobalt line up in neat columns. When light passes through these columns, it behaves as if it’s in a Minkowski universe.

при таких темпах деградации...

нонешнее поколение российских людей будет жить в пещерах и землянках
(а следующее - на деревьях)

typeclasses take 5

Да всё фигня, никакие там теории и модели не нужны. Происходит вот что (выражаясь в наивной теории категорий, т.е., в сущности, в терминах внутренних категорий в топосе).

Берём эндофунктор Т, берём категорию алгебр над Т, и забывающий U из алгебр в, э, базовую категорию.
К забывающему, предположительно, есть левый сопряженный, свободные алгебры над Т. В терминах "языков программирования" эти свободные алгебры получаются путём взятия неограниченного числа переменных и применения к ним различного рода конструкторов, определяемых Т.

Ну, например, для эндофунктора "Моноид" конструкторов будет два, один без параметров, даёт нейтральный элемент, а другой  с двумя, даёт выражение "a+b".

Тут мне не совсем понятно, шо це за эндофунктор такой, "моноид", надо разобраться. В принципе, он как раз получается из "теории моноида".

Ну и модели, т.е. инстансы тайпкласса - это просто алгебры над каким-то эндофунктором; а категория таких алгебр и есть тайпкласс.

Что не так?

Тут ещё можно привлечь монаду коплотности, но эта монада, выше, и является монадой коплотности, где расширение Кана тривиально порождается сопряженной парой.

(из болгарского меню)

Пиво в нос, ментовка, заяц задушен.