Key points are not available for this paper at this time.
Para cada categoria monoidal simétrica apresentável estável - C, usamos a dualidade de Koszul entre o operado de Lie espectral e o cooperado cocomutativo para construir um functor de álgebra Hopf envolvente U: Alg₋₈₄ (C) Hopf (C) de álgebras de Lie espectrais em C para álgebras Hopf cocomutativas em C, adjunto à esquerda de um functor de elementos primitivos derivados. Provamos que se C é uma categoria monoidal simétrica apresentável racional estável, o functor de álgebra Hopf envolvente é totalmente fiel. Concluímos que álgebras de Lie em C são álgebras sobre o monóide subjacente à adjunção T U Lie: C Alg₋₈₄ (C) Hopf (C), onde Lie é a álgebra de Lie livre e T é a álgebra tensorial. Para C geral, introduzimos a noção de L_-álgebra restrita como uma álgebra sobre esta última adjunção. Para qualquer campo K, construímos um functor esquecedor de álgebras de Lie restritas em módulos H (K) conectivos para a categoria - subjacente a uma estrutura de modelo induzida à direita em álgebras de Lie restritas simpliciais sobre K.
Hadrian Heine (Ter,) estudou esta questão.