TY - RPRT TI - The Category of Locales is Rigid AU - John Iskra PY - 2011 UR - https://arxiv.org/abs/1104.2360 ID - 1104.2360 ER -