3--algebras and 3-Lie 2-algebras.

In this paper, we introduce the notions of a --algebra and a 3-Lie 2-algebra. The former is a model for a 3-Lie algebra that satisfy the fundamental identity up to all higher homotopies, and the latter is the categorification of a 3-Lie algebra. We prove that the 2-category of 2-term --algebras is equivalent to the 2-category of 3-Lie 2-algebras. Skeletal and strict 3-Lie 2-algebras are studied in detail. A construction of a 3-Lie 2-algebra from a symplectic 3-Lie algebra is given. [ABSTRACT FROM AUTHOR]