通过 $\pi_2$-索引实现装饰双范畴的内部化
范畴论
2024-06-24 v2
摘要
我们处理通过竖直态射范畴将双范畴提升为双范畴的问题。我们考虑装饰 2-范畴上的结构,其允许我们形式化地实现在双范畴中沿竖直细分滑动某些方块的论证。我们称这些结构为 -索引。我们给出一个构造,对装饰 2-范畴上的每个 -索引,关联一个长度为 1 的双内部化。
关键词
引用
@article{arxiv.2310.18673,
title = {Internalizations of decorated bicategories via $\pi_2$-indexings},
author = {Juan Orendain and Ruben Maldonado},
journal= {arXiv preprint arXiv:2310.18673},
year = {2024}
}
备注
29 pages, to appear in Applied Categorical Structures