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

# Talks

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 |

# Conferences

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

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 |

# Other

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

Date | |
---|---|

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