TY - RPRT TI - A Geometric Bohr topos AU - Simon Henry PY - 2015 UR - https://arxiv.org/abs/1502.01896 ID - 1502.01896 ER -