Constructor and Description |
---|
HomFunctor(Category c)
Constructs the hom bifunctor for a category.
|
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.
|
public HomFunctor(Category c)
public java.lang.Object map(java.lang.Object a, java.lang.Object b)
public Category.Morphism map(Category.Morphism m, Category.Morphism n)