public class FinSet.Function extends java.lang.Object implements Category.Morphism
Constructor and Description |
---|
FinSet.Function(MathSet a,
MathSet b,
java.lang.Object[] inObjs,
java.lang.Object[] outObjs) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
codomain()
Returns the codomain.
|
Category.Morphism |
compose(Category.Morphism m)
Returns the composition of this morphism with another.
|
java.lang.Object |
domain()
Returns the domain.
|
java.lang.Object |
map(java.lang.Object o)
Maps an object from the domain to the codomain.
|
public java.lang.Object domain()
Category.Morphism
domain
in interface Category.Morphism
public java.lang.Object codomain()
Category.Morphism
codomain
in interface Category.Morphism
public java.lang.Object map(java.lang.Object o)
Category.Morphism
map
in interface Category.Morphism
public Category.Morphism compose(Category.Morphism m)
Category.Morphism
compose
in interface Category.Morphism