Chapter 9. Category Theory - Exercises

module Chapter9.Exercises where

open import Chapter9.Book public