平坦性、弱乐范畴余极限和自由精确补全
摘要：自由正则和Bar-exact完成弱lex类别的完成性质在lex colimits的背景下被捕获，这是由Garner和Lack引入的。通过引入具有lex余域的函子$F: \mathcal{C}\to\mathcal{E}$的平坦性概念，我们描述了在没有有限极限的情况下，对于任何给定的lex权重类$\Phi$，自由$\Phi$-exact完成的普适性质。特别地，我们将给出存在自由lextensive和自由pretopos完成的必要和充分条件，并证明在这些完成的模型类别中的超级乘积满足一个普适性质。
作者：Giacomo Tendas
论文ID：2304.09000
分类：Category Theory
分类简称：math.CT
提交时间：2023-04-25