Tripos-to-Topos结构的二范畴分析
A 2-Categorical Analysis of the Tripos-to-Topos Construction
摘要：
我们的特点是三个拓扑拓扑结构的海兰，约翰斯通和皮茨作为一个biadjunction在一个bicategory丰富的设备类结构的类别。这些抽象概念对于处理oplax构造的存在是必要的-该构造仅在tripose之间的某些类的carpet函子上是oplax函子。我们分析的一个副产品是将tripos-to-topos结构分解为两个步骤，中间步骤是拟对置的弱化版本。
英文摘要：
We characterize the tripos-to-topos construction of Hyland, Johnstone and Pitts as a biadjunction in a bicategory enriched category of equipment-like structures. These abstract concepts are necessary to handle the presence of oplax constructs --- the construction is only oplax functorial on certain classes of cartesian functors between triposes. A by-product of our analysis is the decomposition of the tripos-to-topos construction into two steps, the intermediate step being a weakened version of quasitoposes.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
