Lambda-可展示态射，单射性和（弱）分解系统
摘要：局部Λ-展示范畴中，我们证明了每个Λ(m)-注入类（即，与某个Λ-展示态射类相对应的所有具有注入性质的对象）是一个由一个Λ-展示态射类决定的弱反射子范畴，该范畴由一个由Λ-展示态射类生成的保理化生成的弱分解系统来确定。这在小注入类中已经是已知的情况，被称为“小对象论证”。对于正交类和分解系统，也可以得到类似的结果，其中Λ-滤过余极限起到了注入性情况下的可数可分解对象的作用。Λ-展示态射还可用于组织和澄清一些相关结果（及其证明），特别是关于足够的注入性对象（或纯注入性对象）的存在性。
作者：Michel Hebert
论文ID：math/0509318
分类：Category Theory
分类简称：math.CT
提交时间：2007-05-23