package jsci.maths.categories;

import jsci.maths.*;

/**
* The Simplicial class encapsulates the simplicial category.
* @version 1.0
* @author Mark Hale
*/
public final class Simplicial extends Object implements Category {
        public final Bifunctor ADDITION=new Addition();
        /**
        * Constructs a simplicial category.
        */
        public Simplicial() {}
        /**
        * Returns the identity morphism for an object.
        */
        public Category.Morphism identity(Object a) {
                Preorder p=(Preorder)a;
                Integer id[]=new Integer[p.ordinal()];
                for(int i=0;i