For some exact monoidal categories, we describe explicitly a connection between topological and algebraic definitions of the Lie bracket on the extension algebra of the unit object. The topological definition, due to Schwede and to Hermann, involves loops in extension categories. The algebraic definition, due to the first author, involves homotopy liftings of maps. As a consequence of our description, we prove that the topological definition indeed yields a Gerstenhaber algebra structure in this monoidal category setting. This answers a question of Hermann for those exact monoidal categories in which the unit object has a particular type of resolution that is called power flat. For use in proofs, we generalize A∞-coderivation and homotopy lifting techniques from bimodule categories to these exact monoidal categories. Copyright © 2024, International Press. Permission to copy for private use granted.
Original languageEnglish
Pages (from-to)79-98
Number of pages20
JournalHomology, Homotopy and Applications
Volume26
Issue number2
DOIs
StatePublished - 2024

    Research areas

  • cohomology, exact monoidal category

ID: 126221040