Some partial work on formalizing concepts from MIT's 18.S996 - Category theory for scientists, in Coq
Primary LanguageCoq