1 Introduction
This project formalizes the definition of \(A_\infty \)-categories and constructs an \(A_\infty \)-endofunctor on a variant of the KLRW category, which acts as a braid group invariant.
This project formalizes the definition of \(A_\infty \)-categories and constructs an \(A_\infty \)-endofunctor on a variant of the KLRW category, which acts as a braid group invariant.