2 papers
math.CT2023
Strictifying Operational Coherences and Weak Functor Classifiers in Low Dimensions
Adrian Miranda
Weak structures abound in higher category theory, but are often suitably equivalent to stricter structures that are easier to understand. We extend strictification for tricategorie…
math.CT2022
What is the universal property of the 2-category of monads?
Stephen Lack, Adrian Miranda
For a 2-category , we consider Street's 2-category Mnd() of monads in , along with Lack and Street's 2-category EM() and the ide…