D Cockett

Suggest Changes
  • Citations Per Year
Learn More
In the context of Cartesian differential categories [BCS 09], the structure of the first-order chain rule gives rise to a fibration, the " bundle category ". In the present paper we generalise this(More)
  • 1