La catégorie de Heisenberg dégénérée $Heis_k$ est une catégorie monoïdale stricte, introduite dans le cas spécial $k=-1$ par Khovanov en 2010.  Khovanov a conjecturé que l'anneau de Grothendieck de l'enveloppe additive de Karoubi de sa catégorie est isomorphe à une certaine forme intégrale de l'algèbre enveloppante de l'algèbre de Lie de Heisenberg de dimension infinie,  spécialisée à la charge centrale $1$. Nous prouvons cette conjecture et l'étendons à une charge centrale arbitraire $k \in Z$. Nous expliquons également comment catégorifier le coproduit (génériquement).