jsci.maths.categories
Interface Category.Morphism

All Known Subinterfaces:
Functor
All Known Implementing Classes:
FinSet.Function, Hilb.LinearMap, Preorder.Relation, Simplicial.DegeneracyMap, Simplicial.FaceMap, Simplicial.IncreasingMap
Enclosing interface:
Category

public static interface Category.Morphism

This interface defines a morphism in a category.


Method Summary
 Object codomain()
          Returns the codomain.
 Category.Morphism compose(Category.Morphism m)
          Returns the composition of this morphism with another.
 Object domain()
          Returns the domain.
 Object map(Object o)
          Maps an object from the domain to the codomain.
 

Method Detail

domain

Object domain()
Returns the domain.


codomain

Object codomain()
Returns the codomain.


map

Object map(Object o)
Maps an object from the domain to the codomain.


compose

Category.Morphism compose(Category.Morphism m)
                          throws UndefinedCompositionException
Returns the composition of this morphism with another.

Throws:
UndefinedCompositionException


jHepWork 3.1 ©