jsci.maths.categories
Interface Bifunctor

All Known Implementing Classes:

HomFunctor, Simplicial.Addition

public interface Bifunctor

This interface defines a bifunctor.

Method Summary

Category.Morphism	map(Category.Morphism m, Category.Morphism n) Maps a pair of morphisms from one category to another.
Object	map(Object a, Object b) Maps a pair of objects from one category to another.

Method Detail

map

Object map(Object a,
           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.