返回
Doubly Weak Double Categories
DOI:10.1007/s10485-026-09863-1.png)
摘要
En 中文
我们提出了一种双范畴的定义,其1-胞腔的合成在两个方向上都是弱的。具体而言,一个双重弱双范畴是一个配备了所有可能的合成运算的双范畴计算域—一种具有所有可能双范畴形状的2-胞腔的结构—这些运算具有一致性。我们还使用“隐式”双范畴来刻画它们,这些是双范畴计算域,具有所有可能的2-胞腔合成,但没有1-胞腔的合成;通过一个简单的可表示性准则,即可得到双重弱双范畴。最后,它们也可以通过在Verity的双双范畴或Garner的立方体双双范畴上添加一个“整洁性”条件来定义。
Keyword:
Double category
Bicategory
期刊
A
IF:
0.5
论文数:
45
被引数:
0

