Person. Jason Z. S. Hu Applied Scientist II · Amazon · hustmphrrr.github.io · 0000-0001-6710-6262 PhDMcGill University Master’sUniversity of Waterloo UndergraduateFudan University Papers Formalizing category theory in Agda hu-2021-formalizingCPP · 2021 PDF · DOI · arXiv · pldb