net.categoricaldata.ontology.Translation

ConcreteTranslation

class ConcreteTranslation extends Translation

Source
Translation.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. ConcreteTranslation
  2. Translation
  3. withFinitelyPresentedTarget
  4. withFinitelyGeneratedTarget
  5. withLocallyFinitelyGeneratedTarget
  6. withSmallTarget
  7. withFinitelyPresentedSource
  8. withFinitelyPresentedTarget
  9. withFinitelyGeneratedTarget
  10. withLocallyFinitelyGeneratedTarget
  11. withSmallTarget
  12. withFinitelyGeneratedSource
  13. withFinitelyPresentedTarget
  14. withFinitelyGeneratedTarget
  15. withLocallyFinitelyGeneratedTarget
  16. withSmallTarget
  17. withLocallyFinitelyGeneratedSource
  18. withFinitelyPresentedTarget
  19. withFinitelyPresentedTarget
  20. withFinitelyGeneratedTarget
  21. withFinitelyGeneratedTarget
  22. withLocallyFinitelyGeneratedTarget
  23. withLocallyFinitelyGeneratedTarget
  24. withSmallTarget
  25. withSmallTarget
  26. withSmallSource
  27. Functor
  28. AnyRef
  29. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ConcreteTranslation(source: Ontology, target: Ontology, onObjects: (String) ⇒ String, onMorphisms: (StringArrow) ⇒ StringPath, _json: Option[String] = scala.None)

Type Members

  1. trait ContravariantDataFunctor extends ContravariantDataFunctor

  2. class CosliceCategory extends CosliceCategory

  3. class CosliceFunctor extends CosliceFunctor

  4. trait CovariantDataFunctor extends CovariantDataFunctor

    Definition Classes
    TranslationwithSmallTarget
  5. trait LeftPushforward extends CovariantDataFunctor

  6. trait Pullback extends Pullback with ContravariantDataFunctor

  7. trait RightPushforward extends CovariantDataFunctor

  8. class SliceCategory extends SliceCategory

    This is a little confusing.

  9. class SliceFunctor extends SliceFunctor

  10. type SourceAdjunction = ParametrizedNaturalTransformation[ConcreteTranslation.this.source.functorsToSet.type, ConcreteTranslation.this.source.functorsToSet.type]

    Definition Classes
    Translation
  11. type TargetAdjunction = ParametrizedNaturalTransformation[ConcreteTranslation.this.target.functorsToSet.type, ConcreteTranslation.this.target.functorsToSet.type]

    Definition Classes
    Translation

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. lazy val ^*: ParametrizedFunctor[net.categoricaldata.ontology.Datasets.type, ConcreteTranslation.this.source.functorsToSet.type]

    Definition Classes
    Translation
  7. def __!: ParametrizedFunctor[net.categoricaldata.ontology.Datasets.type, ConcreteTranslation.this.target.functorsToSet.type]

    Definition Classes
    Translation
  8. def __*: ParametrizedFunctor[net.categoricaldata.ontology.Datasets.type, ConcreteTranslation.this.target.functorsToSet.type]

    Definition Classes
    Translation
  9. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  10. def asPartialDataset: PartialDataset

    Definition Classes
    Translation
  11. def clone(): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  12. lazy val coslice: CosliceFunctor

    Definition Classes
    Translation
  13. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  14. def equals(other: Any): Boolean

    Definition Classes
    Translation → AnyRef → Any
  15. def finalize(): Unit

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

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

    Definition Classes
    AnyRef → Any
  18. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  19. lazy val leftCounit: TargetAdjunction

    Definition Classes
    Translation
  20. lazy val leftPushforward: LeftPushforward

    Definition Classes
    Translation
  21. lazy val leftUnit: SourceAdjunction

    Definition Classes
    Translation
  22. final def ne(arg0: AnyRef): Boolean

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

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

    Definition Classes
    AnyRef
  25. def onGenerators(a: G): M

  26. def onMorphisms(m: M): M

  27. def onObjects(o: Box): Box

    Definition Classes
    ConcreteTranslationFunctor
  28. def opposite: Translation

    Definition Classes
    Translation
  29. lazy val pullback: Pullback

  30. lazy val rightCounit: SourceAdjunction

    Definition Classes
    Translation
  31. lazy val rightPushforward: RightPushforward

    Definition Classes
    Translation
  32. lazy val rightUnit: TargetAdjunction

    Definition Classes
    Translation
  33. lazy val slice: SliceFunctor

    Definition Classes
    Translation
  34. val source: Ontology

  35. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  36. val target: Ontology

  37. def toJSON: Translation

    Definition Classes
    ConcreteTranslationTranslation
  38. def toString(): String

    Definition Classes
    Translation → AnyRef → Any
  39. def verifyRelations: Unit

    Definition Classes
    withFinitelyPresentedSource
  40. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from Translation

Inherited from withSmallTarget

Inherited from withSmallTarget

Inherited from withSmallTarget

Inherited from withSmallTarget

Inherited from withSmallTarget

Inherited from withSmallSource

Inherited from Functor

Inherited from AnyRef

Inherited from Any