JS Lemay

Journal Papers:

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: 

• Category Theory Oktoberfest 2018 (site): Why FHilb is NOT an interesting differential category. 

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

• University of Edinburgh, working with Robin Cockett and Chris Heunen -- November & December 2018
• IRIF, working with Christine Tasson, Marie Kerjean, Zeinad Galal, and Thomas Ehrhard -- September 2018
• 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:

• Winter 2015: TA for "Calculus II"