Skip to main content
5 of 8
deleted 86 characters in body
Z. M
  • 2.8k
  • 6
  • 20

How to prove the classical definition of addition map for additive ordinary categories is commutative and associative up to coherent homotpy?

Could somebody please help me with this?

We know if $C$ is an ordinary additive category, then the addition of maps $f,g:x \rightarrow y$ coincides with the composition

$$x \xrightarrow{\bigtriangleup} x \oplus x \xrightarrow{(f,g)} y \oplus y \xrightarrow{\bigtriangledown} y,$$

which first and last maps are diagonal and codiagonal maps respectively. This map defines an abelian group structure on $\text{Hom}_C(x,y)$.

Now, here is my main question! if $C$ is an additive $\infty$-category, how can we show this operation (on $\text{Map}_C(x,y)$) is commutative and associative up to coherent homotopy? How can we show it is commutative and associative up to just homotopy?