net.categoricaldata.ontology.Ontology

identityTranslation

object identityTranslation extends Identity with Translation

Source
Ontology.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. identityTranslation
  2. Translation
  3. Identity
  4. withFinitelyPresentedTarget
  5. withFinitelyGeneratedTarget
  6. withLocallyFinitelyGeneratedTarget
  7. withSmallTarget
  8. withFinitelyPresentedSource
  9. withFinitelyPresentedTarget
  10. withFinitelyPresentedTarget
  11. withFinitelyPresentedTarget
  12. withFinitelyPresentedTarget
  13. Identity
  14. withFinitelyGeneratedTarget
  15. withLocallyFinitelyGeneratedTarget
  16. withSmallTarget
  17. withFinitelyGeneratedSource
  18. withFinitelyGeneratedTarget
  19. withLocallyFinitelyGeneratedTarget
  20. withSmallTarget
  21. withLocallyFinitelyGeneratedSource
  22. withFinitelyGeneratedTarget
  23. withFinitelyGeneratedTarget
  24. withLocallyFinitelyGeneratedTarget
  25. withLocallyFinitelyGeneratedTarget
  26. withSmallTarget
  27. withSmallTarget
  28. withSmallSource
  29. Identity
  30. EndoFunctor
  31. ParametrizedFunctor
  32. FunctorTo
  33. FunctorFrom
  34. Functor
  35. AnyRef
  36. 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[net.categoricaldata.ontology.Ontology.identityTranslation.source.functorsToSet.type, net.categoricaldata.ontology.Ontology.identityTranslation.source.functorsToSet.type]

    Definition Classes
    Translation
  11. type TargetAdjunction = ParametrizedNaturalTransformation[net.categoricaldata.ontology.Ontology.identityTranslation.target.functorsToSet.type, net.categoricaldata.ontology.Ontology.identityTranslation.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, net.categoricaldata.ontology.Ontology.identityTranslation.source.functorsToSet.type]

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

    Definition Classes
    Translation
  8. def __*: ParametrizedFunctor[net.categoricaldata.ontology.Datasets.type, net.categoricaldata.ontology.Ontology.identityTranslation.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(g: G): M

  26. def onMorphisms(m: M): M

  27. def onObjects(o: O): O

    Definition Classes
    IdentityFunctor
  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.this.type

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

    Definition Classes
    AnyRef
  36. val target: Ontology.this.type

    Definition Classes
    FunctorToFunctor
  37. def toJSON: Translation

    Definition Classes
    Translation
  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 Identity

Inherited from withSmallTarget

Inherited from Identity

Inherited from withSmallTarget

Inherited from withSmallTarget

Inherited from withSmallTarget

Inherited from withSmallTarget

Inherited from withSmallSource

Inherited from Identity

Inherited from EndoFunctor

Inherited from ParametrizedFunctor[Ontology.this.type, Ontology.this.type]

Inherited from FunctorTo

Inherited from FunctorFrom

Inherited from Functor

Inherited from AnyRef

Inherited from Any