λ-可表示态射、内射性与（弱）因子分解系统
Lambda-presentable morphisms, injectivity and (weak) factorization systems
摘要：
我们证明了，在一个局部可表示范畴中，每个lambda（m）-内射类（即，所有对象关于某类可达表示态射的内射的类）是由一类可达表示态射的函子弱因子分解系统共纤生成的弱反射子范畴。这是已知的小注入类，并被称为“小对象参数”。一个类似的结果得到正交类和因子分解系统，其中的过滤colimits发挥作用的超限成分的内射性的情况下。λ-可表示态射也被用来组织和澄清一些相关的结果（及其证明），特别是关于足够的内射的存在性（分别是）。纯注射剂）。
英文摘要：
We show that in a locally lambda-presentable category, every lambda(m)-injectivity class (i.e., the class of all the objects injective with respect to some class of lambda-presentable morphisms) is a weakly reflective subcategory determined by a functorial weak factorization system cofibrantly generated by a class of lambda-presentable morphisms. This was known for small-injectivity classes, and referred to as the "small object argument". An analogous result is obtained for orthogonality classes and factorization systems, where lambda-filtered colimits play the role of the transfinite compositions in the injectivity case. Lambda-presentable morphisms are also used to organize and clarify some related results (and their proofs), in particular on the existence of enough injectives (resp. pure-injectives).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
