11 citations · 34 across the 9 of their papers we have counts for
1 paper · 1 filter
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…