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:
“The truth is, no matter how trying they become, babies two and under don’t have the ability to make moral choices, so they can’t be “bad.” That category only exists in the adult mind.”
—Anne Cassidy (20th century)
“Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.”
—Walter Pater (1839–1894)