The Azimuth Project
Applied Category Theory - Chapter 1 - Exercises (Rev #5, changes)