JS Lemay

Jean-Simon Lemay

Doctoral Student

Student, Kellogg College

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

Wolfson Building, Parks Road, Oxford OX1 3QD

Biography

Journal Papers:

Hasegawa, M. & Lemay, J-S. (2018) Linear Distributivity with Negation, Star-Autonomy, and Hopf Monads. Theory and Applications of Categories. (site)(pdf)
Lemay, J-S. (2018). A Tangent Category Alternative to the Faa di Bruno Construction. Theory and Applications of Categories. (site)(pdf)
Cockett, R., & Lemay, J-S. (2018). Integral Categories and Calculus Categories. Mathematical Structures in Computer Science. (site)(pdf)

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)

Conference Papers:

Lemay, J-S. Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories. FSCD 2018 (pdf)
Cockett, R., & Lemay, J-S. Cartesian Integral Categories and Contextual Integral Categories. MFPS 2018 (pdf)
Cockett, R., & Lemay, J-S. There is only one notion of differentiation. FSCD 2017 (pdf)
Cockett, R., & Lemay, J-S. Integral Categories and Calculus Categories (Extended Abstract). CSL 2017 (pdf)
Bagnol, M., Blute, R., Cockett, R., & Lemay, J-S. The Shuffle Quasimonad and Modules with Differentiation and Integration. MFPS 2016 (pdf)

Conference Presentations:

Upcoming:

Hopefully something soon!

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

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:

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"
Hilary 2018: TA for "Introduction to Quantum Information"
Michaelmas 2018: TA for "Logic"

University of Calgary, Mathematics Department:

TA for lots of subjects.

University of Ottawa, Mathematics Department:

Winter 2015: TA for "Calculus II"

Supervisors

Bob Coecke

Jamie Vicary