@inproceedings{hu-2021-formalizing, series={CPP ’21}, title={Formalizing category theory in Agda}, url={http://dx.doi.org/10.1145/3437992.3439922}, DOI={10.1145/3437992.3439922}, booktitle={Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs}, publisher={ACM}, author={Hu, Jason Z. S. and Carette, Jacques}, year={2021}, month=Jan, pages={327–342}, collection={CPP ’21} }