TY - RPRT TI - Augmented virtual double categories AU - Seerp Roald Koudenburg PY - 2025 UR - https://arxiv.org/abs/1910.11189 ID - 1910.11189 ER -