通过相对单子Kan扩张的ultracategories
范畴论
2025-06-12 v1
摘要
许多具有结构的重要范畴最自然地被描述为相对单子的代数，但最终它们仍然是普通单子的代数。我们证明，在适当的假设下，相对2-单子在范畴上的左oplax Kan扩张产生一个具有相同余代数范畴的伪单子。特别地，我们将此应用于ultracategories的研究，以恢复ultracompletion伪单子。
引用
@article{arxiv.2506.09788,
title = {Ultracategories via Kan extensions of relative monads},
author = {Umberto Tarantino and Joshua Wrigley},
journal= {arXiv preprint arXiv:2506.09788},
year = {2025}
}