TY - RPRT TI - Replacing functors with enriched ones AU - Thomas Blom PY - 2025 UR - https://arxiv.org/abs/2210.11320 ID - 2210.11320 ER -