дыбр

 Ну что, утром сходили погуляли, но по-быстрому, потому что у меня митинг был, чуть не опоздал чуть-чуть.

Затем ябота, ябота. Но в 11 отключился и стал пытаться это, к конференции подключиться. В 12 с копейками. Оказалось, что чат-то на дискорде, там же и видео. Выслушал инструкции Кортни, поболтал с участниками, потом уже включил нужный зум, наладил слайды - и в час дня понеслась, доклад на лямбда-конфе, про топологии Ловира в интуиционистской логике. Ну ничо так; я это дело уже два раза задвигал - но что-то волновался. Утрамбовал как раз ровно в час - у меня всегда так, какой-то внутренний будильник, я если и скипаю пару слайдов, так потому что уже время кончается.

Потом еще болтали про то про се; линки запостил на дискорд (это уже мой шестой доклад на лямбдах); кого-то и книжка заинтересовала, а кого-то мой presheaf.

Потом часа два отходил от этого чеса. Как препы весь день лекции читают, не знаю. 

А затем пошел слушать Dr.Eugenia Cheng, смешная, суматошная тетка, очень грамотная. Пошел гуглить упоминаемые термины, например, finitary monad; нашел algebraic monad, и вот, складывается картинка, почему хаскельщики верят, что каждый фунткор имеет свободную монаду. Потому что алгебраическая монада - это которая сохраняет фильтрованные копределы, а это как раз достаточное условие существования свободной монады. Ну так у них и функторы алгебраические. И все это писал Ловир еще в шестидесятые! (линки я у себя надобавлял тоже, например, http://www.tac.mta.ca/tac/reprints/articles/5/tr5.pdf. Легкое чтение, по нынешним временам.

Вот, и поужинали (котлетки из индейки и салат), да пошли погуляли три мили, надо же отряхнуть заботы. Навстречу ехала женщина на велике, на поводке мелкая шавка. Потом мужчина на велике, на поводке тоже мелкая шавка. Потом три школьницы, хиспанки (гишпанки, как писал Резанов), тоже на великах, но без собачек. Темнело. На небе первым засиял Юпитер, а рядом, чуть позже - Сатурн.

Все на сегодня. По дому ничего не делал - ну устал, чисто психологически, ну.

"A monad (T,μ,i) on the category Set of sets, is finitary (also called algebraic, although some people consider any monad to be an algebraic notion) if the underlying endofunctor T:Set→Set commutes with filtered colimits.

In other words, an algebraic monad is a monoid in the category of algebraic endofunctors on Set."