haider213/Category-Theory

This series of notebooks are an attempt to come up with solutions for book Seven Sketches in Compositionality: An Invitation to Applied Category Theory avaialable here: https://arxiv.org/pdf/1803.05316.pdf