Etendues 表示的双范畴观点
范畴论
2019-10-08 v1
摘要
在本文中，我们引入将有序群胚描述为一类特殊双范畴的描述。这使我们能够将 Lawson 关于有序群胚与左可消范畴之间的对应转化为一个双等价。我们利用此来辨识哪些有序函子是站点的映射，即它们能诱导出所导出层范畴之间的几何态射，并建立一个关于 Ehresmann 站点间映射的比较引理。
引用
@article{arxiv.1910.02540,
title = {A Double Categorical View on Representations of Etendues},
author = {Darien DeWolf and Dorette Pronk},
journal= {arXiv preprint arXiv:1910.02540},
year = {2019}
}
备注
35 pages