Rencontre, 12 avril 2018

Programme

10:30 – 12:00

Glynn Winskel (Cambridge University, UK)

Invited talk: Distributed Probabilistic Strategies

13:30 – 14:30

Jean-Simon Lemay (University of Oxford (UK))

Invited talk: Differential Algebras for Differential Categories

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))

Invited talk: Practical higher-dimensional algebra

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.