主丛作为具有几何态射应用的 Frobenius 伴随
范畴论
2015-10-28 v1
摘要
利用相对于任意笛卡尔范畴定义的适当的主 G-丛概念，证明了主丛可以刻画为稳定满足 Frobenius 互反律的伴随。该结果从内部群 G 推广到了内部群胚 G。由于几何态射可以描述为某些稳定 Frobenius 的伴随，作为一个应用，我们证明了从局部化拓扑斯到有界拓扑斯的所有几何态射都可以刻画为主丛。
引用
@article{arxiv.1403.4183,
title = {Principal bundles as Frobenius adjunctions with application to geometric morphisms},
author = {Christopher Townsend},
journal= {arXiv preprint arXiv:1403.4183},
year = {2015}
}