Tripos-到-Topos 构造的 2-范畴分析
范畴论
2011-04-15 v1
摘要
我们将 Hyland、Johnstone 和 Pitts 的 tripos-到-topos 构造刻画为装备类结构的双范畴充实范畴中的一个双伴随。这些抽象概念对于处理 oplax 构造的存在是必要的——该构造在 tripos 之间的某些笛卡尔函子类上仅是 oplax 函子的。我们分析的一个副产品是将 tripos-到-topos 构造分解为两步，中间步骤是拟拓扑的一个弱化版本。
引用
@article{arxiv.1104.2776,
title = {A 2-Categorical Analysis of the Tripos-to-Topos Construction},
author = {Jonas Frey},
journal= {arXiv preprint arXiv:1104.2776},
year = {2011}
}