Resolves Arkor's conjecture with equivalent characterizations of exponentiable virtual double categories via cell decompositions and proves several classes including cospans are exponentiable.
, δ[n−1,n] ∗ ) : An → A1 ×A0 · · · ×A0 A1| {z } n which is induced by the cocartesian lifts of the inert morphisms δ[i,i+1] :
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.