For algebras and , a map is an algebra homomorphism if it satisfies the following conditions:
is linear
respects multiplication in the algebra
If there exists an inverse morphism then is called an isomorphism.
Note, for this category, it suffices to check that is a bijective homomorphism to prove it is an isomorphism.