Non-associative algebras

A non-associative algebra over a field $\mathbb{K}$ is a $\mathbb{K}$-vector space $A$ equipped with a bilinear operation $${A\times A\to A\colon\; (x,y)\mapsto x\cdot y=xy}.$$ The collection of all non-associative algebras over $\mathbb{K}$, together with the product-preserving linear maps between them, forms a variety of algebras: the category $\mathsf{Alg}_\mathbb{K}$. The multiplication need not satisfy any additional properties, such as associativity or the existence of a unit. Familiar categories such as the varieties of associative algebras, Lie algebras, etc. may be found as subvarieties of $\mathsf{Alg}_\mathbb{K}$ by imposing equations, here $x(yz)=(xy)z$ (associativity) or $xy =- yx$ and $x(yz)+z(xy)+ y(zx)=0$ (anti-commutativity and the Jacobi identity), respectively. The aim of these lectures is to explain some basic notions of categorical algebra from the point of view of non-associative algebras, and vice versa. As a rule, the presence of the vector space structure makes things easier to understand here than in other, less richly structured categories. We explore concepts like normal subobjects and quotients, coproducts and protomodularity. On the other hand, we discuss the role of (non-associative) polynomials, homogeneous equations, and how additional equations lead to reflective subcategories.