package ontology

  1. Public
  2. All

Type Members

  1. case class Arrow(source: Box, target: Box, name: String) extends Product with Serializable

  2. trait Box extends AnyRef

  3. trait Datamap extends NaturalTransformationToSet

  4. trait Dataset extends FunctorToSet with withFinitelyPresentedSource

  5. trait Ontology extends FinitelyPresentedCategory

  6. trait Translation extends withFinitelyPresentedTarget

Value Members

  1. def ???: Nothing

    Definition Classes
  2. object Box extends AnyRef

  3. object Dataset extends AnyRef

  4. object Datasets extends FunctorsToSet

  5. object Ontologies extends Category with InitialObject with TerminalObject

  6. object Ontology extends AnyRef

  7. object Translation extends AnyRef