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.



jHepWork 3.1 ©