org.jscience.mathematics.algebraic.categories
Interface Functor

All Superinterfaces:
Category.Morphism
All Known Implementing Classes:
Simplicial.DegeneracyMap, Simplicial.FaceMap, Simplicial.IncreasingMap

public interface Functor
extends Category.Morphism

This interface defines a functor.


Method Summary
 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.
 
Methods inherited from interface org.jscience.mathematics.algebraic.categories.Category.Morphism
codomain, compose, domain
 

Method Detail

map

java.lang.Object map(java.lang.Object o)
Maps an object from one category to another.

Specified by:
map in interface Category.Morphism
Parameters:
o - DOCUMENT ME!
Returns:
DOCUMENT ME!

map

Category.Morphism map(Category.Morphism m)
Maps a morphism from one category to another.

Parameters:
m - DOCUMENT ME!
Returns:
DOCUMENT ME!

compose

Functor compose(Functor f)
Returns the composition of this functor with another.

Parameters:
f - DOCUMENT ME!
Returns:
DOCUMENT ME!