JS Lemay

Journal Papers:

Preprints:

• 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) (site)
  
• 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: 

• Formal Structures for Computation and Deduction (FSCD) 2018 (site): Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories. 
  

Past:

• 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: 

• 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:

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)