Меня всегда забавляло, что эти странные вещи, как замыкания в посетах, или "соответствия Галуа" элементарно выражаются в категорном виде. Чо они там мудрят с посетами, всегда думал. Вот же, сопряженные, монады, алгебры, все ж элементарно.
А кому-то наоборот, оказывается.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2021-01-08 03:23 am (UTC)Меня всегда забавляло, что эти странные вещи, как замыкания в посетах, или "соответствия Галуа" элементарно выражаются в категорном виде. Чо они там мудрят с посетами, всегда думал. Вот же, сопряженные, монады, алгебры, все ж элементарно. А кому-то наоборот, оказывается.