使用伪模型比较松散双模与双枢管
范畴论
2025-10-29 v1
摘要
（伪）双范畴具有两种态射：紧致型态射可严格组合，而松散型态射可在一致同构下组合。本文考察双范畴之间在松散方向的双模概念。我们提供了该概念的两种表述——一种作为 2 范畴中范畴之间的伪双模，另一种作为延伸草图的伪模型，推广了 Joyal 对范畴间双模（即步行箭头中的函子）的定义——并证明这两种表述等价。为证明此等价性，我们定义了增强草图伪模型的概念，可能独立具有兴趣。随后我们考察由松散双模理论所开启的双范畴理论：松散余位，及松散极限。
引用
@article{arxiv.2510.23789,
title = {Comparing loose bimodules and double barrels using pseudo-models of enhanced sketches},
author = {Jason Brown and Kevin Carlson and Sophie Libkind and David Jaz Myers},
journal= {arXiv preprint arXiv:2510.23789},
year = {2025}
}
备注
48 pages