6 citations · 10 across the 9 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.CT2022
Terms and derivatives of polynomial functors via negation
Charles Walker
Given a locally cartesian closed category E, a polynomial (s,p,t) may be defined as a diagram consisting of three arrows in E of a certain shape. In this paper we define the homoge…
math.CT2022
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…