TY  - RPRT
TI  - Category Theory for Programming
AU  - Benedikt Ahrens
AU  - Kobe Wullaert
PY  - 2026
UR  - https://arxiv.org/abs/2209.01259
ID  - 2209.01259
ER  -