JSci.maths.categories
Interface Functor

All Superinterfaces:
Category.Morphism
All Known Implementing Classes:
Simplicial.IncreasingMap

public interface Functor
extends Category.Morphism

This interface defines a functor.

PlanetMath references:
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 JSci.maths.categories.Category.Morphism
codomain, compose, domain
 

Method Detail

map

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

Specified by:
map in interface Category.Morphism

map

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


compose

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