JS Pacaud Lemay

Journal Papers:

Preprints:

• Cartesian Differential Categories as Skew-Enriched categories. Garner, R., Lemay, J-S. P. (2020). (pdf)
• Exponential Functions for Cartesian Differential Categories. Lemay, J-S. P. (2019). (pdf)
• Differential Equations in a Tangent Category I: Complete vector fields, flows, and exponentials. Cockett, R., Cruttwell, G., Lemay, J-S. P. (2019). (pdf) 
• Integral and differential structure on the free C-infinity ring modality. Cruttwell, G., Lemay, J-S. P., Lucyshin-Wright R. (2019). (pdf) 
• Convenient Antiderivates for Differential Linear Categories. Lemay, J-S. P. (2018). (pdf)

Conference Papers:

• Cartesian Difference Categories. Alvarez-Picallo, M. & Lemay, J-S. P. FOSSACS 2020 (pdf)
  
• Tangent Categories from the Coalgebras of Differential Categories. Cockett, R., Lemay, J-S. P., Lucyshyn-Wright, R. CSL 2020 (pdf)
• Reverse Derivative Categories. Cockett, R., Cruttwell, G., Gallagher, J., Lemay J-S. P., MacAdam B., Plotkin G., & Pronk, D. CSL 2020 (pdf)
  
• Why FHilb is NOT an interesting (co)differential category. Lemay J-S. P. QPL 2019 (pdf)
• Higher order distributions for differential linear logic. Kerjean M., & Lemay J-S. P. FOSSACS 2019 (pdf)
• Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories. Lemay, J-S. P. FSCD 2018 (pdf)
  
• Cartesian Integral Categories and Contextual Integral Categories. Cockett, R., & Lemay, J-S. P. MFPS 2018 (pdf) 
  
• There is only one notion of differentiation. Cockett, R., & Lemay, J-S. P. FSCD 2017 (pdf)
  
• Integral Categories and Calculus Categories (Extended Abstract). Cockett, R., & Lemay, J-S. P. CSL 2017 (pdf)
• The Shuffle Quasimonad and Modules with Differentiation and Integration. Bagnol, M., Blute, R., Cockett, R., & Lemay, J-S. P. MFPS 2016 (pdf)

Conference Presentations:

Upcoming: 

• Nothing for now!

Past:

• CSL 2020 (site): Tangent Categories from the Coalgebras of Differential Categories. 
• CSL 2020 (site): Reverse Derivative Categories. 
• PGR.CT 2019 (site): Exponential Functions for Cartesian Differential Categories.
• CT 2019 (site): Tangent Categories from the Coalgebras of Differential Categories.
• QPL 2019 (site): Why FHilb is NOT an interesting (co)differential category.
• CMS Summer Meeting 2019 (site): The Poincaré Lemma for Codifferential Categories with Antiderivatives (Invited Talk)
• FMCS 2019 (site): Tutorials on differential categories and Cartesian differential categories (Invited Talk) 
• Category Theory Oktoberfest 2018 (site): Why FHilb is NOT an interesting differential category. 
• FSCD 2018 (site):  Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories. 
  
• MFPS 2018 (site): Cartesian Integral Categories and Contextual Integral Categories.
• CMS Summer Meeting 2018 (site): Differential Categories and Representable Tangent Categories. (Invited Talk)
  
• FMCS 2018 (site): A Tangent Alternative to the Faa Di Bruno Construction.
• ChoCoLa Meeting April 2018 (site): Differential Algebras in Differential Categories. (Invited Talk)
  
• FSCD 2017 (site): There is only one notion of differentiation.
• CSL 2017 (site): Integral Categories and Calculus Categories.
• CT 2017 (site): Integration for Tangent Categories.
• FMCS 2017 (site): There is only one notion of differentiation.
  
• Union College Mathematics Conference 2016 (site): Introduction to Tensor Integral Categories.
• CT 2016 (site): Introduction to Cartesian Integral Categories. 
• FMCS 2016 (site): Introduction to Monoidal Integral Categories.

Conference Organizations & Commitees:

Local Organizer:

• SYCO 3 (site)(Local Chair)

Progamme Committee:

• SYCO 5 + STRING 3 (site)
• SYCO 3 (site)

Research Visits: 

• Kyoto University, working with Masahito Hasegawa -- March, April, & May 2020
  
• Mount Allison University , working with  Geoff Cruttwell -- August 2019
• University of Calgary , working with Robin Cockett and Kristine Bauer -- June 2019
• Inria Nantes , working with Marie Kerjean -- May 2019
• 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"