Homotopy Type Theory
bimodule homomorphism > history (Rev #1)
Definiton
Let and be rings. A --bimodule homomorphism between two --bimodules and is a function such that for all , , , , , and ,
See also
Revision on May 25, 2022 at 04:33:50 by
Anonymous?.
See the history of this page for a list of all contributions to it.