James Leslie

About Me

I am a mathematics masters graduate from The University of Edinburgh (2018). From 2019-2021, I was at The University of Western Ontario doing graduate research. Academically, my interests are in the foundations of mathematics, through logic, set and topos theory, and (homotopy) type theory. I am in the process of building an Agda library for homotopy type theory, mainly based off of work from The HoTT Book. Outside of mathematics, I enjoy programming in Haskell and learning about its interactions with category theory. I am a Linux and Emacs user and enjoy system crafting as a hobby (my dotfiles repository for my NixOS system can be found here).

Other things that I enjoy include running, cycling and swimming, as well as artisan coffee brewing and tasting.


I have given talks throughout my time as a student. This is a list of them.

Date Title Resources
March 2021 The Canonical Model Structure on Cat/Gpd Notes
June 2020 Homotopy Theory in Contextual Categories
June 2020 Modelling Dependent Type Theories
April 2020 The HoTT Book - 8.2 and 8.3 Notes
December 2019 A Survey of Infinity Toposes Notes
November 2019 Toposes and their logic
April 2018 Toposes (Masters thesis talk) Slides
April 2017 Mathematics and Logic: A theory of Sets (Bachelors project talk) Slides


This is a list of pre-pandemic conferences I attended, in person.

Date Conference Location
October 2019 Midwest Homotopy Type Theory Seminar (dead link) Ann Arbor
July 2019 Category Theory 2019 Edinburgh
June 2019 Higher Topos Theory and Univalent Foundations Leeds
September 2017 British Logic Colloquium 2017 Brighton
July 2015 Hilbert Bernays Summer School on Logic and Computation Goettingen


Courses I have taken in my PhD program at Western.

Date Courses
Winter term 2021 Homotopical Algebra Reading Seminar
Winter term 2020 Algebraic Topology Field Theory (audited)
Fall term 2019 Higher Category Theory Complex Analysis (audited)

Tutoring and Teaching Assistant work

I have been a teaching assistant at both Edinburgh University and Western University, for a plethora of mathematics and engineering courses.

Date Coures
Winter term 2021 Math 1600B Math 2156
Fall term 2020 Calculus 1500 Math 1600A
Winter term 2020 1120B
Fall term 2019 Calculus 1000A
Semester 2 2019 Calculus and its Applications Mathematics for Engineering 1B Honours Algebra Proofs and Problem Solving
Semester 1 2018 Introduction to Linear Algebra Mathematics for Engineering 1A Mathematics for Natural Sciences Commutative Algebra


During my time at Western, I participated in the Directed Reading Program as a mentor.

2020 Semester 1 I was a mentor for the directed reading program for a project on bicategories and mates.
2019 Semester 1 I was a mentor for the directed reading program covering category theory.