https://csu-applied-category-theory.github.io/00-upcoming.html https://csu-applied-category-theory.github.io/01-past.html https://csu-applied-category-theory.github.io/02-resources.html https://csu-applied-category-theory.github.io/ https://csu-applied-category-theory.github.io/ORIGINAL_README.html