リー代数
A "Tate Lie algebra" is a Tate vector space with an additional Lie algebra structure. An example of a Tate Lie algebra is the Lie algebra of formal power series over a finite-dimensional Lie algebra.