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

Constructors

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

Method Summary

Modifier and Type	Method and Description
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

equals, 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