jsci.maths.categories

Class Simplicial

java.lang.Object

jsci.maths.categories.Simplicial

All Implemented Interfaces:

Category

public final class Simplicial
extends java.lang.Object
implements Category

The Simplicial class encapsulates the simplicial category.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	Simplicial.Addition
class	Simplicial.DegeneracyMap
class	Simplicial.FaceMap
class	Simplicial.FunctionSet
class	Simplicial.IncreasingMap

Nested classes/interfaces inherited from interface jsci.maths.categories.Category

Category.HomSet, Category.Morphism

Field Summary

Fields

Modifier and Type	Field and Description
Bifunctor	ADDITION

Constructor Summary

Constructors

Constructor and Description
Simplicial() Constructs a simplicial category.

Method Summary

Modifier and Type	Method and Description
java.lang.Object	cardinality(java.lang.Object a) Returns the cardinality of an object.
Category.HomSet	hom(java.lang.Object a, java.lang.Object b) Returns a hom-set.
Category.Morphism	identity(java.lang.Object a) Returns the identity morphism for an object.
java.lang.Object	terminal()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ADDITION

public final Bifunctor ADDITION

Constructor Detail

Simplicial

public Simplicial()

Constructs a simplicial category.

Method Detail

identity

public Category.Morphism identity(java.lang.Object a)

Returns the identity morphism for an object.

Specified by:

identity in interface Category

cardinality

public java.lang.Object cardinality(java.lang.Object a)

Returns the cardinality of an object.

Specified by:

cardinality in interface Category

hom

public Category.HomSet hom(java.lang.Object a,
                           java.lang.Object b)

Returns a hom-set.

Specified by:

hom in interface Category

terminal

public java.lang.Object terminal()