TY - RPRT TI - Principal bundles as Frobenius adjunctions with application to geometric morphisms AU - Christopher Townsend PY - 2014 DO - 10.1017/s0305004115000444 UR - https://arxiv.org/abs/1403.4183 ID - 1403.4183 ER -