prathyvsh / category-theory-resources

Resources for learning Category Theory for an enthusiast

prathyvsh/category-theory-resources Issues

CT in Idris
Updated 2 years ago1
Recommend an introduction
Closed 3 years ago1
Decide what to do with intermediary level resources that I am running into
Updated 3 years ago
Add date of release on books and papers
Updated 4 years ago