论文标题
概念完整性的A（2,1） - 模型结构
A (2,1)-model structure for conceptual completeness
论文作者
论文摘要
我们证明了小对象参数的（2,1） - 类别类似物，并在小型相干类别，相干函数和自然同构的类别上给出了（2,1）模型结构。它是由反射性分解系统的较高维度示例引起的，该系统由原位的完整子类别确定。我们证明它是正确的，并描述了产生的琐碎合并。怀特海的定理给出了概念上的完整性。
We prove the (2,1)-categorical analogue of the small object argument and give a (2,1)-model structure on the category of small coherent categories, coherent functors and natural isomorphisms. It is induced by a higher dimensional example of a reflective factorisation system, determined by the full subcategory of pretoposes. We prove it to be right proper and the generating trivial cofibrations are described. Whitehead's theorem gives conceptual completeness.
