TY - RPRT TI - Comma 2-comonad I: Eilenberg-Moore 2-category of colax coalgebras AU - Igor Baković PY - 2025 UR - https://arxiv.org/abs/2505.00682 ID - 2505.00682 ER -