关于实现拓扑空间推出存在性的研究
摘要：有序PCA的两个预序强化范畴mathsf{OPCA}和mathsf{PCA}： 在mathsf{OPCA}中，箭头是函数态射，在mathsf{PCA}中，箭头是应用态射。我们展示了mathsf{OPCA}在适当的2-范畴意义下具有小型积和有限的双积，并且mathsf{PCA}具有有限余积。另一方面，mathsf{PCA}缺乏非平凡的二元积。由此我们推断出，两个非平凡实现性拓扑的推出，关于mathsf{Set}的推出，从来不是一个实现性拓扑。
作者：Jetze Zoethout
论文ID：2011.08561
分类：Category Theory
分类简称：math.CT
提交时间：2020-12-07