G. E. Reyes (1986). Synthetic Reasoning and Variable Sets. In Lawvere F. W. and S.
Schanuel (eds.). Categories in Continuum Physics (Workshop held at SUNY, Buffalo,
1982). LNM 1174. Berlin: Springer-Verlag, 69-82. (SDG)
« The functor category revisited • On the relation between connections and sprays »