Aaron Huntley
π§ email
Summary
I am a mathematician currently studying for a PhD degree 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 infinity-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
Homotopy Seminar CWRU
Locally Presentable Categories
MAMS Student Seminar CWRU
The Mathematics of Juggling
Homotopy Seminar CWRU
Homotopy Colimits
Homotopy Seminar CWRU
Model Structures in Set
Algebraic Topology and Homotopy Theory Seminar UWO
Discovering Operads through an Exploration of Aβ-Algebras
Dynamical Systems Seminar UoL
Homoclinic Tangles
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
- Co-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: October 2025