<p>We prove that the category of (strictly unital) <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\text{ A}_{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.333333em" /> <msub> <mtext>A</mtext> <mi>∞</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>-categories, linear over a commutative ring <i>R</i>, with strict <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\text{ A}_{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.333333em" /> <msub> <mtext>A</mtext> <mi>∞</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>-morphisms has a cofibrantly generated model structure. In this model structure every object is fibrant and the cofibrant objects have cofibrant morphisms. As a consequence we prove that the semi-free <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\text{ A}_{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.333333em" /> <msub> <mtext>A</mtext> <mi>∞</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>-categories (resp. resolutions) are cofibrant objects (resp. resolution) in this model structure.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A Model Structure on the Category of \(\text{ A}_{\infty }\)-Categories with Strict Morphisms

  • Mattia Ornaghi

摘要

We prove that the category of (strictly unital) \(\text{ A}_{\infty }\) A -categories, linear over a commutative ring R, with strict \(\text{ A}_{\infty }\) A -morphisms has a cofibrantly generated model structure. In this model structure every object is fibrant and the cofibrant objects have cofibrant morphisms. As a consequence we prove that the semi-free \(\text{ A}_{\infty }\) A -categories (resp. resolutions) are cofibrant objects (resp. resolution) in this model structure.