@misc{indiciaef9d7319b0a80, title = {On coherent topoi \& coherent \$1\$-localic \$\textbackslash{}infty\$-topoi}, author = {Peter J. Haine}, year = {2019}, url = {https://arxiv.org/abs/1904.01877}, note = {Source identifier: 1904.01877} }