About me

I am a mathematician specialising in category theory. My research focuses on coherence and strictification in low-dimensional higher category theory, and also explores pseudomonads, enriched and homotopical universal properties, and connections with categorical logic.

I was a postdoctoral researcher in pure mathematics at the University of Manchester from May 2023 until 31 January 2025.

Contact: adriantosharmiranda@hotmail.com.

Research interests

• Higher categories and coherence: bicategories, tricategories, Gray-categories, weak higher-dimensional structures, and strictification.
• Monads and universal properties: pseudomonads, Kleisli and Eilenberg–Moore constructions, and enriched and tricategorical (co)limits.
• Logic and categorical structures: categorical foundations, two-dimensional categorical logic, and connections with computational presentations.

Publications

My research page lists peer-reviewed publications, preprints, and theses separately. Publication records are also available on Google Scholar and ORCID.