On formal category theory via double categories:
On augmented virtual double categories:
Seerp Roald Koudenburg, Augmented virtual double categories, Theory and Applications of Categories, Vol. 35, 2020, No. 10, pp 261-325 (arXiv:1910.11189, tac:35-10)
(streamlined and expanded version of Sec. 1, 2 and 3 of Koudenburg 15 )
Created on October 13, 2021 at 16:48:57. See the history of this page for a list of all contributions to it.