TY  - RPRT
TI  - Formalizing of Category Theory in Agda
AU  - Jason Z. S. Hu
AU  - Jacques Carette
PY  - 2021
DO  - 10.1145/3437992.3439922
UR  - https://arxiv.org/abs/2005.07059
ID  - 2005.07059
ER  -