论范畴双完备的存在性
范畴论
2009-09-29 v1 交换代数
摘要
提出了一个关于(可能大的)范畴A的自由小余完备化P(A)的完备性猜想。该猜想基于A中存在一个小的生成-余生成对象集。我们概述了该结果的有效性将如何导致此类A的Isbell-Lambek双完备C(A)的存在,而无需通过“改变宇宙”的过程来描述或讨论该双完备。
引用
@article{arxiv.0909.5010,
title = {On The Existence Of Category Bicompletions},
author = {Brian J. Day},
journal= {arXiv preprint arXiv:0909.5010},
year = {2009}
}