筛除余极限、强有限元单子与连续代数
范畴论
2023-10-12 v2
摘要
我们将 、 与 上的强有限元单子刻画为恰好保持筛除（sifted）余极限的那些单子。或者等价地，保持自反余内插子的 enriched 有限元单子。我们研究一般 enriched 范畴中的筛除余极限。对于 与 ，我们将连续代数的簇刻画为恰好是强有限元单子的单子范畴。
引用
@article{arxiv.2301.05730,
title = {Sifted Colimits, Strongly Finitary Monads and Continuous Algebras},
author = {Jiří Adámek and Matěj Dostál and Jiří Velebil},
journal= {arXiv preprint arXiv:2301.05730},
year = {2023}
}