TY - RPRT TI - An isomorphism of idempotent monads AU - Taras Radul PY - 2023 UR - https://arxiv.org/abs/2307.12787 ID - 2307.12787 ER -