public interface Functor extends Category.Morphism
Modifier and Type | Method and Description |
---|---|
Functor |
compose(Functor f)
Returns the composition of this functor with another.
|
Category.Morphism |
map(Category.Morphism m)
Maps a morphism from one category to another.
|
java.lang.Object |
map(java.lang.Object o)
Maps an object from one category to another.
|
codomain, compose, domain
java.lang.Object map(java.lang.Object o)
map
in interface Category.Morphism
Category.Morphism map(Category.Morphism m)