net.categoricaldata.ontology.Ontology

OntologyOver

trait OntologyOver extends CategoryOver with Translation

Source
Ontology.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. OntologyOver
  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. CategoryOver
  25. withSmallTarget
  26. withSmallTarget
  27. withSmallSource
  28. Functor
  29. AnyRef
  30. 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 Identity extends FunctorOver

  6. trait LeftPushforward extends CovariantDataFunctor

  7. trait Pullback extends Pullback with ContravariantDataFunctor

  8. trait RightPushforward extends CovariantDataFunctor

  9. class SliceCategory extends SliceCategory

    This is a little confusing.

  10. class SliceFunctor extends SliceFunctor

  11. type SourceAdjunction = ParametrizedNaturalTransformation[OntologyOver.this.source.functorsToSet.type, OntologyOver.this.source.functorsToSet.type]

    Definition Classes
    Translation
  12. type TargetAdjunction = ParametrizedNaturalTransformation[OntologyOver.this.target.functorsToSet.type, OntologyOver.this.target.functorsToSet.type]

    Definition Classes
    Translation

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

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

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

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

  26. def opposite: Translation

    Definition Classes
    Translation
  27. lazy val pullback: Pullback

  28. lazy val rightCounit: SourceAdjunction

    Definition Classes
    Translation
  29. lazy val rightPushforward: RightPushforward

    Definition Classes
    Translation
  30. lazy val rightUnit: TargetAdjunction

    Definition Classes
    Translation
  31. lazy val slice: SliceFunctor

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

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

    Definition Classes
    CategoryOverwithSmallTargetFunctor
  34. def toJSON: Translation

    Definition Classes
    Translation
  35. def toString(): String

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws()
  39. 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 CategoryOver

Inherited from withSmallTarget

Inherited from withSmallTarget

Inherited from withSmallSource

Inherited from Functor

Inherited from AnyRef

Inherited from Any