arXiv:1903.01897 · OrderTopos Quantum Theory with Short PosetsJohn Harding, Chris HeunenPublished Jun 19, 2020• 1 citationarXivHTMLPDFDOI10.1007/s11083-020-09531-6