Package | Description |
---|---|
JSci.maths.categories |
Modifier and Type | Interface and Description |
---|---|
interface |
Functor
This interface defines a functor.
|
Modifier and Type | Class and Description |
---|---|
class |
FinSet.Function |
class |
Hilb.LinearMap |
class |
Preorder.Relation |
class |
Simplicial.DegeneracyMap |
class |
Simplicial.FaceMap |
class |
Simplicial.IncreasingMap |
Modifier and Type | Method and Description |
---|---|
Category.Morphism |
Category.Morphism.compose(Category.Morphism m)
Returns the composition of this morphism with another.
|
Category.Morphism |
FinSet.Function.compose(Category.Morphism m) |
Category.Morphism |
Preorder.Relation.compose(Category.Morphism m) |
Category.Morphism |
Simplicial.IncreasingMap.compose(Category.Morphism m) |
Category.Morphism |
Hilb.LinearMap.compose(Category.Morphism m) |
Category.Morphism |
Category.identity(java.lang.Object a)
Returns the identity morphism for an object.
|
Category.Morphism |
FinSet.identity(java.lang.Object a)
Returns the identity morphism for an object.
|
Category.Morphism |
Preorder.identity(java.lang.Object a)
Returns the identity morphism for an object.
|
Category.Morphism |
Simplicial.identity(java.lang.Object a)
Returns the identity morphism for an object.
|
Category.Morphism |
Hilb.identity(java.lang.Object a)
Returns the identity morphism for an object.
|
Category.Morphism |
Functor.map(Category.Morphism m)
Maps a morphism from one category to another.
|
Category.Morphism |
Simplicial.IncreasingMap.map(Category.Morphism m) |
Category.Morphism |
Bifunctor.map(Category.Morphism m,
Category.Morphism n)
Maps a pair of morphisms from one category to another.
|
Category.Morphism |
HomFunctor.map(Category.Morphism m,
Category.Morphism n)
Maps two morphisms to another.
|
Category.Morphism |
Simplicial.Addition.map(Category.Morphism m,
Category.Morphism n) |
Modifier and Type | Method and Description |
---|---|
Category.Morphism |
Category.Morphism.compose(Category.Morphism m)
Returns the composition of this morphism with another.
|
Category.Morphism |
FinSet.Function.compose(Category.Morphism m) |
Category.Morphism |
Preorder.Relation.compose(Category.Morphism m) |
Category.Morphism |
Simplicial.IncreasingMap.compose(Category.Morphism m) |
Category.Morphism |
Hilb.LinearMap.compose(Category.Morphism m) |
Category.Morphism |
Functor.map(Category.Morphism m)
Maps a morphism from one category to another.
|
Category.Morphism |
Simplicial.IncreasingMap.map(Category.Morphism m) |
Category.Morphism |
Bifunctor.map(Category.Morphism m,
Category.Morphism n)
Maps a pair of morphisms from one category to another.
|
Category.Morphism |
HomFunctor.map(Category.Morphism m,
Category.Morphism n)
Maps two morphisms to another.
|
Category.Morphism |
Simplicial.Addition.map(Category.Morphism m,
Category.Morphism n) |