JSci.maths.categories.HomFunctor Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jsci Show documentation

JSci is a set of open source Java packages. The aim is to encapsulate scientific methods/principles in the most natural way possible. As such they should greatly aid the development of scientific based software. It offers: abstract math interfaces, linear algebra (support for various matrix and vector types), statistics (including probability distributions), wavelets, newtonian mechanics, chart/graph components (AWT and Swing), MathML DOM implementation, ... Note: some packages, like javax.comm, for the astro and instruments package aren't listed as dependencies (not available).

The newest version!

package JSci.maths.categories;

/**
* The HomFunctor class encapsulates the hom-bifunctor.
* @version 1.0
* @author Mark Hale
*/
public class HomFunctor extends Object implements Bifunctor {
        private Category cat;
        /**
        * Constructs the hom bifunctor for a category.
        */
        public HomFunctor(Category c) {
                cat=c;
        }
        /**
        * Maps two objects to another.
        */
        public Object map(Object a,Object b) {
                return cat.hom(a, b);
        }
        /**
        * Maps two morphisms to another.
        */
        public Category.Morphism map(Category.Morphism m, Category.Morphism n) {
                return new HomMorphism(m, n);
        }
        private class HomMorphism implements Category.Morphism {
                private Category.Morphism in,out;
                public HomMorphism(Category.Morphism m, Category.Morphism n) {
                        in=m;
                        out=n;
                }
                public Object domain() {
                        return cat.hom(in.codomain(), out.domain());
                }
                public Object codomain() {
                        return cat.hom(in.domain(), out.codomain());
                }
                public Object map(Object o) {
                        return in.compose((Category.Morphism)o).compose(out);
                }
                public Category.Morphism compose(Category.Morphism m) {
                        HomMorphism hm=(HomMorphism)m;
                        return new HomMorphism(hm.in.compose(in), out.compose(hm.out));
                }
        }
}