Aaron Huntley
π§ email
Summary
I am a mathematician and second year PhD student at Case Western Reserve University.
Education
Case Western Reserve University (CWRU)
PhD, Mathematics
Sept 2024 β Present
Western University (UWO)
MSc, Mathematics
Sept 2023 β Aug 2024
University of Leeds (UoL)
M.Math, Mathematics
B.Sc, Mathematics
Sept 2019 β Jul 2023
Things I'm currently interested in
Locally lambda-Presentable Double Categories
Compact Closed Double Categories
Things I've been interested in
Aβ-Algebras and omega-Categories
Analysing Semantic Data There was a time I had access to a some data collected by Psycologists to probe 'semantic space' I was interested in how we could analyse this data to learn about how the human brain thinks 'semantically'.
Things I've written
The Dold-Kan Correspondance
These notes were in preperation for a talk I gave for a class in Stable Homotopy theory.
Introduction to Quasi-categories
These notes were born out of trying to understand infinity categories. It was also a final project for a course in Homotopical Algebra I took at Western University.
Notes on Category Theory You can find these notes on this website. However, if I haven't gotten around to fixing the script which converts the latex to html then you can find the pdf here. I wrote these notes in my last year at the University of Leeds, since then I have not made any changes. That is to say please take them with a grain of salt.
Symmetries of Escherβs Paintings
The enumeration of the 17 wallpaper groups is a delightful piece of matematics I think everyone should see.
I wrote these notes in the third year of my time in Leeds.
Teaching
Graduate Assistant CWRU
- Fall 2025 (SI) - MATH 120 (Calculus)
- Spring 2025 (TA) - MATH 304 (Discrete Math)
- Fall 2024 (TA) - MATH 201 (Linear Algebra)
Graduate Assistant UWO
- Summer 2024 (TA)
- Spring 2024 (TA)
- Fall 2023 (TA) - CALC1000A (Calculus)
Mentorship
Directed Reading Program (DRP) CWRU
- Fall 2025 - Proof Assistants and Functional Programming
- Spring 2025 - Categorical Homotopy Theory, Shane Redmond; Fractals and Hausdorff Measure, Max Seay
Directed Reading Program (DRP) UWO
- Spring 2024 - 2D Wallpaper Groups
- Fall 2023 - Introduction to Category Theory
PAL Mentor UoL
Talks & Presentations
Locally Presentable Categories, Homotopy Seminar, CWRU
The Mathematics of Juggling, MAMS Student Seminar, CWRU
Homotopy Colimits, Homotopy Seminar, CWRU
Model Structures in Set, Homotopy Seminar, CWRU
Discovering Operads through an Exploration of Aβ-Algebras, Algebraic Topology and Homotopy Theory Seminar UWO
Introduction to Quasicategories, Homotopical Algebra, UWO
Homoclinic Tangles, Dynamical Systems, UoL*
Leadership, Service & Outreach
- Co-Founder β MGSA Student Seminar, CWRU
- MGSA GCAS Representative, 2025, CWRU
- Founder β Directed Reading Program, CWRU
- MGSA International Student Liaison, 2024, CWRU
- Co-Founder β Algebraic Topology and Homotopy Theory Seminar, UWO
- Founder β JuggleSoc, UoL
Conferences Attended
- Oktoberfest 2025, Online
- YaMCATS 35, Manchester
- Midwest Topology Meeting β Fall 2024, Chicago
- Categories and Higher Logic β Winter 2024, Manchester
Awards & Recognition
- Nominated β University-Wide Graduate Student Award, 2025, CWRU
- Recipient β Graduate Student Appreciation Award (Departmental), 2025, CWRU
Last updated: November 2025