Skip to main content

JS Lemay

Personal photo - Jean-Simon Lemay

Jean-Simon Lemay

Doctoral Student

E: jean-simon.lemay@kellogg.ox.ac.uk

Wolfson Building, Parks Road, Oxford OX1 3QD

Biography

 

Journal Papers:

  • Cockett, R., & Lemay, J-S. (2017). Integral Categories and Calculus CategoriesTo be published in Mathematical Structures in Computer Science. (pdf)

Preprints:

  • Lemay, J-S. (2018). Differential Algebras in Differential Categories. (pdf)

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:

Upcoming: 

  • Formal Structures for Computation and Deduction (FSCD) 2017 (site): Lifting Coalgebra Modalities. 
  • Canadian Mathematical Society (CMS) Summer Meeting 2018 (site): TBD. 
  • Foundational Methods in Computer Science (FMCS) 2018 (site): A Tangent Alternative to the Faa Di Bruno Construction. 

Past:

  • ChoCoLa Meeting April 2018 (site): Differential Algebras in Differential Categories.
  • 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.

Research Visits: 

Education:

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 Mathematic
University of Ottawa , Ottawa, Ontario, Canada 
Supervisors: Professor Richard Blute and Professor Pieter Hofstra

Teaching:

  • University of Oxford, Mathematics, TA: Logic (Fall 2017) and Intrdocution to Quantum Information (Winter 2018) 
  • University of Calgary, Mathematics, Tutor (2015-2017)
  • University of Ottawa, Mathematics, Tutor (Winter 2015) 

Supervisors