JSci.maths.categories
Interface Category.Morphism

All Known Subinterfaces:

Functor

All Known Implementing Classes:

FinSet.Function, Hilb.LinearMap, Preorder.Relation, Simplicial.IncreasingMap

Enclosing interface:

Category

public static interface Category.Morphism

This interface defines a morphism in a category.

Method Summary

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.

Method Detail

domain

public java.lang.Object domain()

Returns the domain.

codomain

public java.lang.Object codomain()

Returns the codomain.

map

public java.lang.Object map(java.lang.Object o)

Maps an object from the domain to the codomain.

compose

public Category.Morphism compose(Category.Morphism m)
                          throws UndefinedCompositionException

Returns the composition of this morphism with another.

Throws:

UndefinedCompositionException