JS Lemay
Jean-Simon Lemay
Doctoral Student
Student, Kellogg College
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 Categories. To 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:
- Mount Allison University, working with Geoff Cruttwell and Rory B. B. Lucyshyn-Wright -- May 2018
- IRIF, working with Christine Tasson, Marie Kerjean, Zeinad Galal, and Thomas Ehrhard -- April 2018
- University of Calgary, working with Robin Cockett and Kristine Bauer -- January 2018
- Mount Allison University, working with Geoff Cruttwell and Rory B. B. Lucyshyn-Wright -- June 2017
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
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
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)
