Jabarkan Tensor aljabar dari Sifat universal

Misalkan  menjadi kategori ruang vektor -Vekt di atas bidang  dan biarkan  menjadi kategori aljabar -Alj di atas  (diasumsikan sebagai unital dan asosiatif). Maka