TY - RPRT TI - The localic Istropy group of a topos AU - Simon Henry PY - 2017 UR - https://arxiv.org/abs/1706.04835 ID - 1706.04835 ER -