Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog Seven Sketches in Compositionality: An Invitation to Applied Category Theory