Лекция 12 | Теория Категорий | К.И. Пименов

Инициальные и терминальные алгебры. Монада ультрафильтра как codensity monad, double-dualization monad по статье Adamek, Sousa - Ultrafilters and their monads.