TY - RPRT TI - Point-set models for homotopy coherent coalgebras AU - Dan Petersen AU - Victor Roca i Lucio AU - Sinan Yalin PY - 2026 UR - https://arxiv.org/abs/2601.03101 ID - 2601.03101 ER -