Коалгебры Хаусдорффа |
Jul. 13th, 2020|06:18 pm |
На днях мне подумалась такая вот вещь. Когда на непустых компактных множествах кокого-то метрического пространства мы задаем метрику Хаусдорффа и получаем новое метрическое пространство, то это будет работать как функтор в категории метрических пространств неважно какой, с непрерывными отображениями или не расширяющими. И так как этот функтор сохраняет компакты и полные пространства, то у него должны быть какие-нибудь замечательные свойства как у эндофунктора. И я стал гуглить и нашел статью, где сошлись многие, интересующие меня темы про коалгебры Хаусдорффа. вот ссылка чтобы не забыть:
https://arxiv.org/abs/1908.04380
Тут получается, что эти коалгебры Хаусдорфа тут коалгебры чисто в смысле теории категорий, и обобщают конструкцию метрики Хаусдорффа на любые кванталь-обогащенные категории. Но для кванталь-обогащенных категорий я слишком тупой, поэтому пускай тут полежит, попылится. |
|