二重圏の拡張である仮想二重圏〈virtual double category〉、添加仮想二重圏〈augmented virtual double category〉に興味がわいて、次の2つの論文をポチポチと拾い読みしています。 [Kou19-22] Title: Augmented virtual double categories Author: Seerp R…