The Azimuth Project
Applied Category Theory - Chapter 3 - Exercises