JS Pacaud Lemay
Jean-Simon Pacaud Lemay
Wolfson Building, Parks Road, Oxford OX1 3QD
Biography
Email: jean-simon.lemay@kellogg.ox.ac.uk
Office: Computer Science Department, Room 251
Journal Papers:
- Lifting Coalgebra Modalities and MELL Model Structure to Eilenberg-Moore Categories. Lemay, J-S. P. (2018). To be published in 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)
- Differential Categories Revisited. Blute, R., Cockett, R., Lemay, J-S. P., & Seely R.A.G. (2018). (pdf)
Conference Papers:
- 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:
- CMS Summer Meeting 2019 (site): The Poincaré Lemma for Codifferential Categories with Antiderivatives (Invited Talk)
- FMCS 2019 (site): TBD (Invited Talk/Tutorial)
Past:
- 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.
Research Visits:
- 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:
Thesis: Integral and Calculus Categories
Supervisors: Professor Robin Cockett and Professor Kristine Bauer
Honours Bachelor of Science (B.Sc.) in Mathematic
Supervisors: Professor Richard Blute and Professor Pieter Hofstra
Teaching:
- Hilary 2019: Tutor for "Set Theory" (x2)
- Hilary 2018: TA for "Introduction to Quantum Information"
- Michaelmas 2018: TA for "Logic"
- 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"
- Winter 2015: TA for "Calculus II"
Selected Publications
-
Higher−order distributions for differential linear logic.
Marie Kerjean and Jean−Simon Lemay
January, 2019.
working paper or preprint
Details about Higher−order distributions for differential linear logic. | BibTeX data for Higher−order distributions for differential linear logic. | Link to Higher−order distributions for differential linear logic.
-
Integral categories and calculus categories
J. Robin B. Cockett and Jean−Simon Pacaud Lemay
In Mathematical Structures in Computer Science. Vol. 29. No. 2. Pages 243−308. 2019.
Details about Integral categories and calculus categories | BibTeX data for Integral categories and calculus categories | DOI (10.1017/S0960129518000014) | Link to Integral categories and calculus categories
-
Differential algebras in codifferential categories
Jean−Simon Pacaud Lemay
In Journal of Pure and Applied Algebra. 2019.
Details about Differential algebras in codifferential categories | BibTeX data for Differential algebras in codifferential categories | DOI (https://doi.org/10.1016/j.jpaa.2019.01.005) | Link to Differential algebras in codifferential categories