conceptual_mathematics Formally prove the theorems in the book "conceptual mathematics" which is about the Category Theory. Useful links Book: https://www.cambridge.org/highereducation/books/conceptual-mathematics/00772F4CC3D4268200C5EC86B39D415A#overview Category Theory: https://en.wikipedia.org/wiki/Category_theory