jsci.maths.categories

Interface Bifunctor

All Known Implementing Classes:

HomFunctor, Simplicial.Addition

public interface Bifunctor

This interface defines a bifunctor.

Method Summary

Modifier and Type	Method and Description
Category.Morphism	map(Category.Morphism m, Category.Morphism n) Maps a pair of morphisms from one category to another.
java.lang.Object	map(java.lang.Object a, java.lang.Object b) Maps a pair of objects from one category to another.

Method Detail

map

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

Maps a pair of objects from one category to another.

map

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

Maps a pair of morphisms from one category to another.