Coba jelasin Kondisi kompatibilitas dari Bialjabar dong

Empat diagram komutatif apabila dibaca dengan baik sebagai "perkalian dan satuan adalah homomorfisme aljabar" atau, secara ekuivalen, "perkalian dan satuan adalah homomorfisme bilangan bulat".

Pernyataan ini memiliki makna setelah menjelaskan struktur alami aljabar dan koaljabar untuk semua ruang vektor yang terlibat selain B: (K, ∇0, η0) adalah aljabar asosiatif unital dengan cara jelas dan (B ⊗ B, ∇2, η2) adalah aljabar asosiatif satuan dengan satuan dan perkalian multi