6 citations · 10 across the 9 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
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★ 3 cited
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★ 1 cited
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…