@JohnBeattie: The original version on arxiv does indeed use a different meaning for poset (basically their poset is a preorder). However the latest version [here](http://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf) uses the standard meanings for poset and preorder.