ScalingStacks

Definition 14 [03RG]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context Β· Original author HTML

Definition 14

An A∞A_{\infty}-category with strict identity morphisms is a non-unital A∞A_{\infty}-category π’ž{\cal C}, such that for any object XX there exists an element 1=1X∈H​o​m0​(X,X)1=1_{X}\in Hom^{0}(X,X) (identity morphism) such that m2​(1,f)=m2​(f,1)=fm_{2}(1,f)=m_{2}(f,1)=f and mn​(f1,…,1,…,fn)=0,nβ‰ 2m_{n}(f_{1},...,1,...,f_{n})=0,n\neq 2 for any morphisms f,f1,…,fnf,f_{1},...,f_{n}.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.