3 papers
math.CT2026
Virtual double categories of split two-sided 2-fibrations
Seerp Roald Koudenburg
This paper introduces and studies split two-sided 2-fibrations and locally discrete split two-sided 2-fibrations, using a formal categorical approach. We generalise Street's notion…
math.CT2025
Augmented virtual double categories
Seerp Roald Koudenburg
In this article the notion of virtual double category (also known as fc-multicategory) is extended as follows. While cells in a virtual double category classically have a horizonta…
math.CT2024
Formal category theory in augmented virtual double categories
Seerp Roald Koudenburg
In this article we develop formal category theory within augmented virtual double categories. Notably we formalise the classical notions of Kan extension, Yoneda embedding $\text y…