Rencontre, 12 avril 2018


10:30 – 12:00
Glynn Winskel (Cambridge University, UK)
13:30 – 14:30
Jean-Simon Lemay (University of Oxford (UK))

Differential categories were introduced by Blute, Cockett, and Seely to categorify Ehrhard and Regnier's differential linear logic and the differential lambda calculus. Since then, differential categories have lead to abstract formulations of many notions involving differentiation such as the directional derivative, differential forms, smooth manifolds, De Rham cohomology, etc. Therefore, if the theory of differential categories wishes to champion itself as axiomatizing the fundamentals of differentiation: differential algebras should fit naturally in this story. In this talk, we give an overview of the story of differential categories and introduce T-differential algebras, which are generalization of differential algebras for differential categories. We also discuss free and cofree T-differential algebras, and power series for differential categories.

15:00 – 16:00
Jamie Vicary (University of Oxford (UK))

I report progress towards a new definition of ∞-category which provides a practical environment for direct computation, and demonstrate an early version of the computer implementation.