Seven Sketches in Compositionality: An Invitation to Applied Category Theory