Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I noticed only now that the entry bimodule is in bad shape and needs some attention. For the moment I have added here a mentioning of the 2-category of algebras, bimodules and intertwiners and a pointer to the Eilenberg-Watts theorem.
I quote from the current entry:
Remark 4.2. As this notation suggests, is naturally the vertical category of a pseudo double category whose horizontal composition is given by tensor product of bimodules. spring
Does anyone know what the ’spring’ is doing at the end or should it be deleted?
It’s a device Urs uses sometimes when editing, I think to remember where to begin again from after stopping. If it’s still there after some time, it can be deleted!
Added reference to module over a monad.
1 to 6 of 6