This project is to contain a listing of common theorems in elementary category theory.
No reviews for this project.