Skip to main content

JS Lemay

Personal photo - Jean-Simon Lemay

Jean-Simon Lemay

Doctoral Student

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

 

Supervisors