# JS Lemay

** Jean-Simon Lemay **

Doctoral Student

Student, Kellogg College

Wolfson Building, Parks Road, Oxford OX1 3QD

## Biography

**Master of Science (M.Sc.) in Pure Mathematics**

**University of Calgary**, Calgary, Alberta, Canada

Thesis:

**Integral and Calculus Categories**

Supervisors: Professor

**Robin Cockett**and Professor

**Kristine Bauer**

**Honours Bachelor of Science (B.Sc.) in Mathematics**

**University of Ottawa**, Ottawa, Ontario, Canada

Supervisors: Professor

**Richard Blute**and Professor

**Pieter Hofstra**

## Journal Papers:

- Cockett, R., & Lemay, J-S. (2017).
**Integral Categories and Calculus Categories**.*To be published in Mathematical Structures in Computer Science (arXiv:1707.08211)*.

## Conference Papers:

- Cockett, R., & Lemay, J-S. (2017).
**There is only one notion of differentiation**. (2017) 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017) (pdf)

- Cockett, R., & Lemay, J-S. (2017).
**Integral Categories and Calculus Categories (Extended Abstract)**. (2017) 26th EACSL Annual Conference on Computer Science Logic (CSL 2017) (pdf) - Bagnol, M., Blute, R., Cockett, R., & Lemay, J-S.
**The Shuffle Quasimonad and Modules with Differentiation and Integration.**(2016) 32nd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII) (pdf)

## Conference Presentations:

- Formal Structures for Computation and Deduction (FSCD) 2017 (site):
**There is only one notion of differentiation** - Computer Science Logic (CSL) 2017 (site):
**Integral Categories and Calculus Categories** - International Category Theory Conference (CT) 2017 (site):
**Integration for Tangent Categories** - Foundational Methods in Computer Science (FMCS) 2017 (site):
**There is only one notion of differentiation**

- Union College Mathematics Conference 2016 (site):
**Introduction to Tensor Integral Categories** - International Category Theory Conference (CT) 2016 (site):
**Introduction to Cartesian Integral Categories** - Foundational Methods in Computer Science (FMCS) 2016 (site):
**Introduction to Monoidal Integral Categories**