KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > JSci > maths > categories > Bifunctor


1 package JSci.maths.categories;
2
3 /**
4 * This interface defines a bifunctor.
5 * @version 1.0
6 * @author Mark Hale
7 */
8 public interface Bifunctor {
9         /**
10         * Maps a pair of objects from one category to another.
11         */
12         Object JavaDoc map(Object JavaDoc a,Object JavaDoc b);
13         /**
14         * Maps a pair of morphisms from one category to another.
15         */
16         Category.Morphism map(Category.Morphism m, Category.Morphism n);
17 }
18
19
Popular Tags