5 papers · 1 filter
Generalized nerves of monads
Charles Walker
One interpretation of the Kleisli construction (given by Miranda and related to work of Paré) is as a nerve sending a monad to the Kleisli double category of . In this paper…
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…
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…
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…
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…