11 citations · 34 across the 9 of their papers we have counts for
9 papers
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…
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…
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…
A categorical approach to the maximum theorem
Seerp Roald Koudenburg
Berge's maximum theorem gives conditions ensuring the continuity of an optimised function as a parameter changes. In this paper we state and prove the maximum theorem in terms of t…
A double-dimensional approach to formal category theory
Seerp Roald Koudenburg
Whereas formal category theory is classically considered within a -category, in this paper a double-dimensional approach is taken. More precisely we develop such theory within t…
Left Kan extensions that are algebraic over colax-idempotent 2-monads
Seerp Roald Koudenburg
Using the language of double categories we generalise a classical result on finite-product-preserving left Kan extensions, by Adámek and Rosický, to one on left Kan extensions that…
Algebraic Kan extensions in double categories
Seerp Roald Koudenburg
We study Kan extensions in three weakenings of the Eilenberg-Moore double category associated to a double monad, that was introduced by Grandis and Paré. To be precise, given a nor…
On pointwise Kan extensions in double categories
Seerp Roald Koudenburg
In this paper we consider a notion of pointwise Kan extension in double categories that naturally generalises Dubuc's notion of pointwise Kan extension along enriched functors. We…
Algebraic weighted colimits
Seerp Roald Koudenburg
In this thesis weighted colimits in 2-categories equipped with promorphisms are studied. Such colimits include most universal constructions with counits, like ordinary colimits in…