Skip to main content

Module relation

Module relation 

Source
Expand description

Indexed coproducts as relations

Functions§

converse
Compute the converse of an IndexedCoproduct thought of as a “multirelation”.