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.
Язык оригиналаАнглийский
Страницы (с-по)79-98
Число страниц20
ЖурналHomology, Homotopy and Applications
Том26
Номер выпуска2
DOI
СостояниеОпубликовано - 2024

ID: 126221040