Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog Applied Category Theory - The Emerging Science of Compositionality