虚拟双范畴上的丰富的家族性质
范畴论
2025-07-09 v1
摘要
最初的丰富范畴是定义在单 monoidal 范畴上的，但逐渐意识到，重要的例子只有在丰富到更一般的结构（如双范畴和虚拟双范畴）时才能包括。我们展示，除了允许更多例子之外，工作在虚拟双范畴上还具有更好的形式属性。我们研究将虚拟双范畴映射到其上丰富范畴的 2-函数。我们证明这是一个参数化右 2-单态，且实际上是家族的。我们还展示了如何使用虚拟双范畴的“家族构造”来给出 2-范畴中丰富于虚拟双范畴范畴的正式构造。
引用
@article{arxiv.2507.05529,
title = {The familial nature of enrichment over virtual double categories},
author = {Soichiro Fujii and Stephen Lack},
journal= {arXiv preprint arXiv:2507.05529},
year = {2025}
}
备注
26 pages