arXiv Fulltext PDF {{zotero-imported-file ZRJPM67W, “Fong and Spivak - 2018 - Seven Sketches in Compositionality An Invitation .pdf”}}