On formal category theory via double categories:
Seerp Roald Koudenburg, A double-dimensional approach to formal category theory [arXiv:1511.04070]
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)
Seerp Roald Koudenburg, Formal category theory in augmented virtual double categories, Theory and Applications of Categories 41 10 (2024) 288–413 [arXiv:2205.04890, doi:10.70930/tac/dc4prz63]
(on augmented virtual double categories, an expanded version of Sec. 1-3 of Koudenberg 2015)
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 )
Last revised on November 12, 2025 at 10:01:16. See the history of this page for a list of all contributions to it.