Internal Categories
Miranda, Adrian. (2018).
CV
Education
- B.Sc. (Mathematics) in UNSW, Sydney, June 2016
- Masters by Coursework (Bicategories and Higher Categories), UNSW, Sydney, June 2017, under A. Prof. Daniel Chan
- Masters by Research (Internal Categories), Macquarie University, Sydney, October 2018, under A. Prof. Stephen Lack and A. Prof. Dominic Verity
- Doctorate (Topics in Low Dimensional Higher Category Theory), Macquarie University, February 2023
Work experience
- May 2023 - Present: Postdoctoral Research in Pure Mathematics
- University of Manchester
- Project: Monoidal Bicategories, Linear Logic and Operads
- Principal Investigator: Dr. Nicola Gambino
Publications
What is the universal property of the $2$-category of monads?
Lack, Stephen., Miranda, Adrian. (2022).
Topics in Low Dimensional Higher Category Theory
Miranda, Adrian. (2022).
Strictifying Operational Coherences and Weak Functor Classifiers in Low Dimensions
Miranda, Adrian. (2023).
A semi-strictly generated closed structure on $Gray$-categories
Miranda, Adrian. (2023).
Enriched Kleisli objects for pseudomonads
Miranda, Adrian. (2023).
Eilenberg-Moore Bicategories for Opmonoidal Pseudomonads
Miranda, Adrian. (2024).
The elementary theory of the 2-category of small categories
Hughes, C., Miranda, A. (2024).
Abstract Kleisli structures on $2$-categories
Miranda, Adrian. (2024).
Talks
Australian Category Theory seminar
Talk at Macquarie University, Sydney, Australia
International Category Theory Conferences
Talk at University of Genoa, Genoa, Italy
Categories and Companions Symposium 2022
Talk at MATRIX, Creswick, Australia
Manchester Category Theory Seminar
Manchester Category Theory Seminar at University of Manchester, Manchester, United Kingdom
Yorkshire and Midlands Category Theory Seminar
Yorkshire and Midlands Category Theory Seminar at University of Leeds, Leeds, United Kingdom
Manchester Logic Seminar
Manchester Logic Seminar at University of Manchester, Manchester, United Kingdom
Teaching
Service and leadership
- Categories and Companions Symposium 2021: Led the organisation team
- Australian Junior Category Theory Seminar 2018-2021: Organised weekly seminars for students and postdocs
- Manchester Category Theory Seminar 2023: Organised weekly seminars on category theory