All Questions

Suppose that $\mathcal{A}, \mathcal{B}$ are strictly unital $A_\infty$ categories, and $\mathcal{F}, \mathcal{G}: \mathcal{A} \rightarrow \mathcal{B}$ are (strictly unital) functors. On one hand, we ...

When reading about homotopy algebras (e.g. $L_\infty$-algebras, $A_\infty$-algebras), an $\infty$-morphism $f$ is called an $\infty$-quasi-isomorphism if $f_1$ is a quasi-isomorphism. Recall/Example (...

A functor $N\colon\mathrm{Cat}_{A_\infty}\longrightarrow\mathrm{Cat}_\infty$ is constructed in a paper [1] by Faonte. This gives a way to get an $\infty$-category by starting with an $A_\infty$-...

Recall that Grothendieck's Homotopy Hypothesis states that the homotopy category of weak globular $n$-groupoids (as in https://arxiv.org/pdf/1009.2331.pdf) is equivalent to the category of homotopy $n$...

Suppose you have two $A_\infty$-functors $\mathcal{F,G}:\mathcal{A}\longrightarrow \mathcal{B}$ which descend to $F,G:A \longrightarrow B$ in homology (here $A=H^0(\mathcal{A})$ and same for $\mathcal{...