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.