点集拓扑作为图追踪计算：提升性质即否定
历史与综述
2014-08-29 v1 范畴论
摘要
我们观察到，一些自然的数学定义是相对于最简单反例的提升性质，即映射的满射性和单射性定义，以及拓扑中的连通性、分离公理 和 、具有稠密像、诱导（拉回）拓扑，以及每个实值函数（在连通域上）有界。我们还就这一观察的认知和人工智能方面提出了一些简要推测，特别是指出在点集拓扑中，某些论证可读作具有有限预序集的图追踪计算。
引用
@article{arxiv.1408.6710,
title = {Point-set topology as diagram chasing computations: Lifting property as negation},
author = {Misha Gavrilovich},
journal= {arXiv preprint arXiv:1408.6710},
year = {2014}
}
备注
8pp