Homotopy Type Theory bimodule homomorphism > history (Rev #2, changes)

Showing changes from revision #1 to #2: Added | ~~Removed~~ | ~~Chan~~ged

~~Definiton~~

~~Let~~

~~$R$~~ ~~and~~ ~~$S$~~ be ~~rings. A~~ ~~$R$~~ - ~~$S$~~ ~~-bimodule homomorphism between two~~ ~~$R$~~ - ~~$S$~~ -~~bimodule~~s ~~$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$~~ ,

~~$f(q a s + r b t) = q f(a) s + r f(b) t$~~
~~See also~~

bimodule

ideal (ring theory)

Revision on June 13, 2022 at 05:59:52 by Anonymous?. See the history of this page for a list of all contributions to it.