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). Convenient Antiderivates for Differential Linear Categories. (pdf)
  • Blute, R., Cockett, R., Lemay, J-S., & Seely R.A.G. (2018) Differential Categories Revisited. (pdf)
  • Lemay, J-S. (2018). Differential Algebras in Differential Categories. (pdf)
  • Lemay, J-S. (2018). Lifting Coalgebra Modalities and MELL Model Structure to Eilenberg-Moore Categories. (pdf)
  • Lemay, J-S. (2018). A Tangent Category Alternative to the Faa di Bruno Construction. (pdf)

Conference Papers:

  • Lemay, J-S. Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories. 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018) (pdf)
  • Cockett, R., & Lemay, J-S. Cartesian Integral Categories and Contextual Integral Categories. 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2018) (site
  • Cockett, R., & Lemay, J-S. There is only one notion of differentiation. 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017) (pdf)
  • Cockett, R., & Lemay, J-S. Integral Categories and Calculus Categories (Extended Abstract). 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. 32nd Conference on the Mathematical Foundations of Programming Semantics (MFPS 2016) (pdf)

Conference Presentations:

Upcoming: 

  • Hopefully something soon!

Past:

  • Formal Structures for Computation and Deduction (FSCD) 2018 (site): Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories. 
  • Mathematical Foundations of Programming Semantics (MFPS) 2018 (site): Cartesian Integral Categories and Contextual Integral Categories.
  • Canadian Mathematical Society (CMS) Summer Meeting 2018 (site): Differential Categories and Representable Tangent Categories. (Invited Talk)  
  • Foundational Methods in Computer Science (FMCS) 2018 (site): A Tangent Alternative to the Faa Di Bruno Construction.
  • ChoCoLa Meeting April 2018 (site): Differential Algebras in Differential Categories. (Invited Talk)
  • 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 Institute:
  • Hilary 2019: Tutor for "Set Theory"
  • Hilary 2018: TA for "Introduction to Quantum Information"
  • Michaelmas 2018: TA for "Logic"
University of Calgary, Mathematics Department:
  • TA for lots of subjects.
University of Ottawa, Mathematics Department:
  • Winter 2015: TA for "Calculus II"

Supervisors