TY - RPRT TI - Functoriality of Enriched Data Types AU - Lukas Mulder AU - Paige Randall North AU - Maximilien Péroux PY - 2026 DO - 10.46298/entics.16583 UR - https://arxiv.org/abs/2505.06059 ID - 2505.06059 ER -