TY - RPRT TI - Janelidze's Categorical Galois Theory as a step in the Joyal and Tierney result AU - Christopher Townsend PY - 2018 UR - https://arxiv.org/abs/1812.10941 ID - 1812.10941 ER -