Adrian Miranda
Research
Talks
Teaching
Outreach

Adrian Miranda

Category theorist: coherence, strictification and categorical logic

Email
Twitter
Github
Google Scholar
PubMed
ORCID

Undergraduate Tutor, 2019 to 2020

Undergraduate Tutor, Macquarie University

I ran undergraduate mathematics tutorials.

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2026 Adrian Miranda. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.