An Invitation to Applied Category Theory. Seven Sketches in Compositionality