Anticommutative algebra