斯科特伴随的一般事实
摘要：引言：Scott配准是从范畴论学家的角度介绍、评论和开发的。除了其技术和概念方面，简而言之，我们对带有定向上确界的偏序集提供了Scott拓扑的范畴化。从技术角度来看，我们建立了一个可达范畴与带有有向余极限的Grothendieck topos之间的配准。我们展示了topoi的双范畴是在带有有向余极限的可达范畴的2-范畴中富集的，并且它对于这种富集有张量。Scott配准通过这个观察自然地（再次）出现。
作者：Ivan Di Liberti
论文ID：2009.14023
分类：Category Theory
分类简称：math.CT
提交时间：2022-01-27