Seven Sketches in Compositionality: An Invitation to Applied Category Theory Category theory