6 citations · 10 across the 9 of their papers we have counts for
10 papers
Locally subcartesian closed categories
Charles Walker
We introduce locally subcartesian closed categories: categories with pullbacks equipped with a coherent choice of subobjects of pullbacks, such that the resulting affine base-chang…
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…
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…
Presentations of pseudodistributive laws
Charles Walker
By considering the situation in which the involved pseudomonads are presented in no-iteration form, we deduce a number of alternative presentations of pseudodistributive laws inclu…
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…