Adrian Miranda

Adrian Miranda

Category theorist: coherence, strictification and categorical logic

Research

This page lists my published papers, preprints and theses. Select a citation to read its abstract and follow links to the paper or thesis. See also Google Scholar, ORCID and arXiv.

Publications

  1. Hughes, C. and Miranda, A. (2026). Colimits of internal categories. Bulletin of the Belgian Mathematical Society – Simon Stevin 33 (3), 351–385. https://doi.org/10.36045/j.bbms.251105
  2. Miranda, A. (2025). Abstract Kleisli Structures on 2-categories. Electronic Proceedings in Theoretical Computer Science 429, 29–48. https://doi.org/10.4204/EPTCS.429.2
  3. Miranda, A. (2025). Enriched Kleisli objects for pseudomonads. Applied Categorical Structures 33, article 23. https://doi.org/10.1007/s10485-025-09810-6
  4. Hughes, C. and Miranda, A. (2025). The elementary theory of the 2-category of small categories. Theory and Applications of Categories 43 (8), 196–242.
  5. Lack, S. and Miranda, A. (2024). What is the universal property of the 2-category of monads? Theory and Applications of Categories 42 (1), 2–18.
  6. Miranda, A. (2024). A semi-strictly generated closed structure on Gray-Cat. Journal of Pure and Applied Algebra 228 (11), 107740. https://doi.org/10.1016/j.jpaa.2024.107740

Preprints

  1. Miranda, A. (2024). Tricategorical universal properties via enriched homotopy theory. arXiv:2409.01837.
  2. Miranda, A. (2024). Eilenberg–Moore bicategories for opmonoidal pseudomonads. arXiv:2402.11703.
  3. Miranda, A. (2023). Strictifying operational coherences and weak functor classifiers in low dimensions. arXiv:2307.01498.

Theses

  1. Miranda, A. (2023). Topics in low dimensional higher category theory. PhD thesis, Macquarie University.
  2. Miranda, A. (2018). Internal categories. Master's thesis, Macquarie University.