论文标题
斯科特辅助上的一般事实
General facts on the Scott Adjunction
论文作者
论文摘要
我们介绍，评论和开发Scott Adjunction，主要是从类别理论家的角度来看。除了其技术和概念方面外，我们简而言之，我们在带有指向上的Posets上提供了Scott拓扑的分类。从技术的角度来看，我们建立了带有指示colimits和Grothendieck topoi的可访问类别之间的相连。我们表明，Topoi的植物比例丰富了带有指导colimits的可访问类别的$ 2 $类别，并且与此富集相对于这种富集具有张力。斯科特（Scott）的邻接（RI-）自然而然地从这种观察结果中出现。
We introduce, comment and develop the Scott adjunction, mostly from the point of view of a category theorist. Besides its technical and conceptual aspects, in a nutshell we provide a categorification of the Scott topology over a posets with directed suprema. From a technical point of view we establish an adjunction between accessible categories with directed colimits and Grothendieck topoi. We show that the bicategory of topoi is enriched over the $2$-category of accessible categories with directed colimits and it has tensors with respect to this enrichment. The Scott adjunction (ri-)emerges naturally from this observation.
