net.categoricaldata.ontology

Translation

trait Translation extends withFinitelyPresentedTarget

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

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[Translation.this.source.functorsToSet.type, Translation.this.source.functorsToSet.type]

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

Abstract Value Members

  1. abstract def onGenerators(g: G): M

  2. abstract def onObjects(o: O): O

    Definition Classes
    Functor
  3. abstract val source: Ontology

  4. abstract val target: Ontology

Concrete 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, Translation.this.source.functorsToSet.type]

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

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

  9. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  10. def asPartialDataset: PartialDataset

  11. def clone(): AnyRef

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

  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

  20. lazy val leftPushforward: LeftPushforward

  21. lazy val leftUnit: SourceAdjunction

  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 onMorphisms(m: M): M

  26. def opposite: Translation

  27. lazy val pullback: Pullback

  28. lazy val rightCounit: SourceAdjunction

  29. lazy val rightPushforward: RightPushforward

  30. lazy val rightUnit: TargetAdjunction

  31. lazy val slice: SliceFunctor

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

    Definition Classes
    AnyRef
  33. def toJSON: Translation

  34. def toString(): String

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

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

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