逆范畴上的 Ehresmann-Schein-Nambooripad 定理
环与代数
2017-11-03 v2 范畴论
摘要
Ehresmann-Schein-Nambooripad (ESN) 定理断言逆半群范畴与归纳群胚范畴之间的等价性。在本文中，我们考虑逆范畴与函子范畴——逆半群的自然推广——并将 ESN 定理推广为该范畴与顶重局部归纳群胚和局部归纳函子范畴之间的等价性。从该推广的证明中，我们还将 ESN 定理推广为逆半范畴与局部归纳群胚范畴之间的等价性，以及具有 oplax 函子的逆范畴与顶重局部归纳群胚和有序函子范畴之间的等价性。
引用
@article{arxiv.1507.08615,
title = {The Ehresmann-Schein-Nambooripad Theorem for Inverse Categories},
author = {Darien DeWolf and Dorette Pronk},
journal= {arXiv preprint arXiv:1507.08615},
year = {2017}
}
备注
19 pages