i got it, got it

In short, there are small types and big types. Small types, you can call them data types, but that term is kind of taken.

Small types are what the OOP people draw in their class diagrams. Large types are whatever is available in your language.

Embedding (modeling) a small type in a large type is just Yoneda embedding.

So e.g. the diamond problem turns into the problem of building a limit or a colimit. Or rather a Kan extension of appropriate variance.

So-called inheritance is just about Kan extensions, which turn, when the base category ("large types" of a language) is a topos (has logic), into geometric morphisms... rather, into essential geometric morphisms.

That's it; that's why I just woke up and went down to write it down.

Maybe it's all pretty trivial, maybe not.

Upd:
http://arxiv.org/pdf/1206.0357.pdf
http://comonad.com/reader/2015/domains-sets-traversals-and-applicatives/

как читать подзамочные записи?

ответы

дошел до меня слух

Что в Москве будут менять все бордюры на поребрики.

ego depletion

"it was demonstrated that when people voluntarily gave a speech that included beliefs contrary to their own, they were also less able to persist on the difficult puzzle, indicating a state of ego depletion."

(via http://lodin.livejournal.com/361746.html)

Про Августа Ландмессера

http://seringvar.livejournal.com/987589.html

студенты

Что интересно, у самых тупых двоечников домашки обычно сделаны тип-топ, все правильно и аккуратненько. Средние студенты - раз на раз не попадается.

А смысл домашки тогда? Только для нормальных студентов.