Лекция 11 | Теория Категорий | К.И. Пименов
Монада ультрафильтра как codensity monad, double-dualization monad по статьям Adamek, Sousa - Ultrafilters and their monads и Leinster - Codensity and the ultrafilter monad.
Название:
Лекция 11 | Теория Категорий | К.И. Пименов
Категория:
Разное