net.categoricaldata.ontology

Ontologies

object Ontologies extends Category with InitialObject with TerminalObject

Source
Ontologies.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Ontologies
  2. TerminalObject
  3. InitialObject
  4. Category
  5. AnyRef
  6. Any
Visibility
  1. Public
  2. All

Type Members

  1. trait EndoFunctor extends FunctorFrom with FunctorTo with ParametrizedFunctor[Category.this.type, Category.this.type]

    Attributes
    protected
  2. trait FunctorFrom extends Functor

    Attributes
    protected
  3. trait FunctorTo extends Functor

    Attributes
    protected
  4. trait Identity extends EndoFunctor

  5. type M = Translation

    Definition Classes
    OntologiesCategory
  6. trait NaturalTransformationFrom extends NaturalTransformation

    Attributes
    protected
  7. trait NaturalTransformationTo extends NaturalTransformation

    Attributes
    protected
  8. type O = Ontology

    Definition Classes
    OntologiesCategory

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  7. def clone(): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  8. def compose(m1: Translation, m2: Translation): Translation

    Definition Classes
    OntologiesCategory
  9. def compose(o: O, ms: List[M]): M

    Definition Classes
    Category
  10. def compose(m0: M, ms: M*): M

    Definition Classes
    Category
  11. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  13. def exponentiate(m: M, k: Int): M

    Definition Classes
    Category
  14. def finalize(): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  15. final def getClass(): java.lang.Class[_]

    Definition Classes
    AnyRef → Any
  16. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  17. def identity(o: Ontology): o.identityTranslation.type

    Definition Classes
    OntologiesCategory
  18. val identityFunctor: Identity

    Definition Classes
    Category
  19. val initialObject: Ontology with Acyclic

    Definition Classes
    OntologiesInitialObject
  20. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  21. def morphismFromInitialObject(ontology: Ontology): Translation

    Definition Classes
    OntologiesInitialObject
  22. def morphismToTerminalObject(ontology: Ontology): Translation

    Definition Classes
    OntologiesTerminalObject
  23. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  24. final def notify(): Unit

    Definition Classes
    AnyRef
  25. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  26. def source(m: Translation): Ontology

    Definition Classes
    OntologiesCategory
  27. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  28. def target(m: Translation): Ontology

    Definition Classes
    OntologiesCategory
  29. val terminalObject: Ontology with Acyclic

    Definition Classes
    OntologiesTerminalObject
  30. def toString(): String

    Definition Classes
    AnyRef → Any
  31. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  32. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  33. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from TerminalObject

Inherited from InitialObject

Inherited from Category

Inherited from AnyRef

Inherited from Any