  We study constructive $A_\infty$-models of the DG-category of matrix
factorisations of a potential over a commutative $\mathbb{Q}$-algebra $k$,
consisting of a Hom-finite $A_\infty$-category equipped with an
$A_\infty$-idempotent functor.
