public interface Bifunctor
Modifier and Type | Method and Description |
---|---|
Category.Morphism |
map(Category.Morphism m,
Category.Morphism n)
Maps a pair of morphisms from one category to another.
|
java.lang.Object |
map(java.lang.Object a,
java.lang.Object b)
Maps a pair of objects from one category to another.
|
java.lang.Object map(java.lang.Object a, java.lang.Object b)
Category.Morphism map(Category.Morphism m, Category.Morphism n)