扩充单子的Galois对应
摘要：增广单子范畴的子单子和其Eilenberg-Moore范畴忘却函子的子函子之间建立了一个Galois对应关系。这个对应关系是通过通过普遍性质定义的不变量和稳定子来给出的。假定存在合适的右伴随，给出了计算不变量的显式过程。此外，在单调闭范畴的背景下，通过Tannakian重构对稳定子进行了表征。
作者：Johan Felipe Garc''ia Vargas
论文ID：2106.04132
分类：Category Theory
分类简称：math.CT
提交时间：2021-06-09