Resolves Arkor's conjecture with equivalent characterizations of exponentiable virtual double categories via cell decompositions and proves several classes including cospans are exponentiable.
The unitality and associativity axioms for composition come from the associated axioms for A
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.CT 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Exponentiable Virtual Double Categories and Representability of Exponentials
Resolves Arkor's conjecture with equivalent characterizations of exponentiable virtual double categories via cell decompositions and proves several classes including cospans are exponentiable.