JSci.maths.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.

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

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

Maps an object from one category to another.

Specified by:

map in interface Category.Morphism

map

Category.Morphism map(Category.Morphism m)

Maps a morphism from one category to another.

compose

Functor compose(Functor f)

Returns the composition of this functor with another.