https://5dok.org/document/yd7e3p4j-lie-algebras-in-braided-monoidal-categories.html