Homotopy Type Theory bimodule homomorphism > history (Rev #1)

Definiton

Let $R$ and $S$ be rings. A $R$-$S$-bimodule homomorphism between two $R$-$S$-bimodules $A$ and $B$ is a function $f:A \to B$ such that for all $a:A$, $b:A$, $q:R$, $r:R$, $s:S$, and $t:T$,

See also

• bimodule
• ideal (ring theory)