Category Theoretic Definition
Using the language of category theory, a Lie algebra can be defined as an object A in Veck, the category of vector spaces over a field k of characteristic not 2, together with a morphism : A ⊗ A → A, where ⊗ refers to the monoidal product of Veck, such that
where τ (a ⊗ b) := b ⊗ a and σ is the cyclic permutation braiding (id ⊗ τA,A) ° (τA,A ⊗ id). In diagrammatic form:
Read more about this topic: Lie Algebra
Famous quotes containing the words category and/or definition:
“I see no reason for calling my work poetry except that there is no other category in which to put it.”
—Marianne Moore (1887–1972)
“I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)