Skip to main content

JS Pacaud Lemay

Personal photo - Jean-Simon Lemay

Jean-Simon Pacaud Lemay

Doctoral Student

E: jean-simon.lemay@kellogg.ox.ac.uk

Wolfson Building, Parks Road, Oxford OX1 3QD

Biography

Email: jean-simon.lemay@kellogg.ox.ac.uk

Office: Computer Science Department, Room 251 

Journal Papers:

  • Differential Categories Revisited. Blute, R., Cockett, R., Lemay, J-S. P., & Seely R.A.G. (2018). Applied Categorical Structures. (site)(pdf
  • Lifting Coalgebra Modalities and MELL Model Structure to Eilenberg-Moore Categories. Lemay, J-S. P. (2019). Accepted to Logical Methods in Computer Science. (pdf)
  • Differential Algebras in Codifferential Categories. Lemay, J-S. P. (2019). Journal of Pure and Applied Algebra. (site) (pdf)
  • Linear Distributivity with Negation, Star-Autonomy, and Hopf Monads. Hasegawa, M. & Lemay, J-S. P. (2018) Theory and Applications of Categories. (site)(pdf)
  • A Tangent Category Alternative to the Faa di Bruno Construction. Lemay, J-S. P. (2018). Theory and Applications of Categories. (site)(pdf)
  • Integral Categories and Calculus Categories. Cockett, R., & Lemay, J-S. P. (2018). Mathematical Structures in Computer Science. (site)(pdf)

Preprints:

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

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

  • PGR.CT 2019 (site): TBD. 

Past:

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

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" (x2)
  • Hilary 2018: TA for "Introduction to Quantum Information"
  • Michaelmas 2018: TA for "Logic"
University of Calgary, Mathematics Department:
  • Winter 2017: TA for "Vector Calculus for Eng. & Sci" (x2) and "Calculus III", and Marker for "Analysis" 
  • Winter 2016: TA for "Linear Methods I" (x2), and Drop-in Sessions for "Discrete Math" and "Linear Algebra I" 
  • Spring 2016: TA for "Linear Methods I" (x2) and "Linear Methods II" 
  • Fall 2016: TA for "Linear Methods I" (x2) and "Linear Methods II" (x2), and Drop-in Sessions for "Linear Methods I" 
  • Fall 2015: TA for "Calculus I" (x2) and "Linear Methods I" (x2), and Drop-in Sessions for "Calculus" 
University of Ottawa, Mathematics Department:
  • Winter 2015: TA for "Calculus II"

Selected Publications

View AllManage publications

Activities

Supervisors