have I forgotten everything?

So, take an algebraic theory; we can build algebras - models of that theory, and a free algebra is a free model (e.g. free monoid); then we can also look at Kleisli category, and there we have a terminal object, and it's supposed to be as easily buildable as free algebras (if they exist).

That kindergarten should be translated back to a proper categorical language. Maybe even better, into toposes, because it's a pretty old story. 

дыбр

 Ну вот, вчера вколол нормально инсулина, потому что же уже больше двух дней прошло, как на велике катался - ан нет, этот метаболизм держится все еще, и колоть надо меньше. Ну окей, ну шош, утром выполз невменяемый, закинулся апельсиновым соком. Эх.

Потом пошли погуляли, еще восьми не было; уже чуток поджаривало. Днем-то совсем жарко было. Кошка под машиной валялась, типа там прохладнее. Прохладнее всего в кладовке в гараже. Но Зинка тебя всего обдерет, если вздумаешь ее в гараж затащить. Ни за что!

Навалял студентам экзаменационные вопросы по SICP/JS. Несколько серьезных вопросов (а результат должен выглядеть как пулреквест). Т.к. Шреяс с утра уже послал мне пулреквест (не зная еще, что таковы будут вопросы), то я его PR записал как один из вариантов. А остальные вопросы - из projecteuler. Пусть потрудятся. Время-то у них до вторника есть.

Стояла жара, и я то работал, то что-то почитывал; вечером постриг траву и сдул листья - уже жара спала.

Да не, надо читать и перечитывать.