在拉回存在的情况下的筛选余极限
摘要：在具有拉回的范畴中，可以将任意滤过余极限构造为自反余等化子的滤过极限。这意味着，Garner-Lack的“lex滤过余极限”可以分解为Barr-精确性以及与有限极限交换的滤过极限。我们还证明了这些结果对于$kappa$-小的滤过和滤过余极限的推广，以及它们与有限极限相互作用的推广，将Garner对于依据Ad''amek-Lawvere-Rosick''y的代数精确性的表征推广。在此过程中，我们证明了关于余极限类的一般结果，表明饱和余极限类的$kappa$-小限制仍然“在迭代下封闭”。
作者：Ruiyuan Chen
论文ID：2109.12708
分类：Category Theory
分类简称：math.CT
提交时间：2021-12-10