TY - RPRT TI - Eilenberg-Moore Bicategories for Opmonoidal Pseudomonads AU - Adrian Miranda PY - 2024 UR - https://arxiv.org/abs/2402.11703 ID - 2402.11703 ER -