JSci.maths.categories
Class HomFunctor

java.lang.Object
  JSci.maths.categories.HomFunctor

All Implemented Interfaces:

Bifunctor

public class HomFunctor

extends java.lang.Object

implements Bifunctor

The HomFunctor class encapsulates the hom-bifunctor.

Constructor Summary

HomFunctor(Category c)
Constructs the hom bifunctor for a category.

Method Summary

Category.Morphism	map(Category.Morphism m, Category.Morphism n) Maps two morphisms to another.
java.lang.Object	map(java.lang.Object a, java.lang.Object b) Maps two objects to another.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HomFunctor

public HomFunctor(Category c)

Constructs the hom bifunctor for a category.

Method Detail

map

public java.lang.Object map(java.lang.Object a,
                            java.lang.Object b)

Maps two objects to another.

Specified by:

map in interface Bifunctor

map

public Category.Morphism map(Category.Morphism m,
                             Category.Morphism n)

Maps two morphisms to another.

Specified by:

map in interface Bifunctor