4 papers
math.CT2020
Bicategories of spans as generic bicategories
Charles Walker
In a bicategory of spans (an example of a 'generic bicategory') the factorization of a span (s,t) as the span (s,1) followed by (1,t) satisfies a simple universal property with res…
math.CT2018
Lax familial representability and lax generic factorizations
Charles Walker
A classical result due to Diers shows that a copresheaf on a category is a coproduct of representables precisely when each connect…
math.CT2018
Universal properties of bicategories of polynomials
Charles Walker
We establish the universal properties of the bicategory of polynomials, considering both cartesian and general morphisms between these polynomials. A direct proof of these universa…
math.CT2018
Generic bicategories
Charles Walker
It is well known that to give an oplax functor of bicategories is to give a comonad in . Here we generalize this fact, replacing the termina…