TY - RPRT TI - A comonadicity theorem for partial comodules AU - Eliezer Batista AU - William Hautekiet AU - Joost Vercruysse PY - 2022 UR - https://arxiv.org/abs/2205.08596 ID - 2205.08596 ER -