net.categoricaldata.ontology.Ontology

PartialDataset

trait PartialDataset extends FinitelyGeneratedCategoryOver with Translation

Self Type
PartialDataset
Source
Ontology.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. PartialDataset
  2. Translation
  3. withFinitelyPresentedTarget
  4. withFinitelyGeneratedTarget
  5. withLocallyFinitelyGeneratedTarget
  6. withSmallTarget
  7. withFinitelyPresentedSource
  8. withFinitelyPresentedTarget
  9. withFinitelyPresentedTarget
  10. withFinitelyPresentedTarget
  11. withFinitelyPresentedTarget
  12. FinitelyGeneratedCategoryOver
  13. withFinitelyGeneratedTarget
  14. withLocallyFinitelyGeneratedTarget
  15. withSmallTarget
  16. withFinitelyGeneratedSource
  17. withFinitelyGeneratedTarget
  18. withLocallyFinitelyGeneratedTarget
  19. withSmallTarget
  20. withLocallyFinitelyGeneratedSource
  21. withFinitelyGeneratedTarget
  22. withFinitelyGeneratedTarget
  23. withLocallyFinitelyGeneratedTarget
  24. withLocallyFinitelyGeneratedTarget
  25. CategoryOver
  26. withSmallTarget
  27. withSmallTarget
  28. withSmallSource
  29. Functor
  30. AnyRef
  31. 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 FinitelyGeneratedFunctorOver

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

    Definition Classes
    Translation
  12. type TargetAdjunction = ParametrizedNaturalTransformation[PartialDataset.this.target.functorsToSet.type, PartialDataset.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, PartialDataset.this.source.functorsToSet.type]

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

    Definition Classes
    Translation
  8. def __*: ParametrizedFunctor[net.categoricaldata.ontology.Datasets.type, PartialDataset.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. def complete_?: Boolean

  13. lazy val coslice: CosliceFunctor

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

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

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

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

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

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

    Definition Classes
    Any
  20. lazy val leftCounit: TargetAdjunction

    Definition Classes
    Translation
  21. lazy val leftPushforward: LeftPushforward

    Definition Classes
    Translation
  22. lazy val leftUnit: SourceAdjunction

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

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

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

    Definition Classes
    AnyRef
  26. def onMorphisms(m: M): M

  27. def opposite: Translation

    Definition Classes
    Translation
  28. lazy val pullback: Pullback

  29. lazy val rightCounit: SourceAdjunction

    Definition Classes
    Translation
  30. lazy val rightPushforward: RightPushforward

    Definition Classes
    Translation
  31. lazy val rightUnit: TargetAdjunction

    Definition Classes
    Translation
  32. lazy val slice: SliceFunctor

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

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

    Definition Classes
    CategoryOverwithSmallTargetFunctor
  35. def toDataset: Dataset

  36. def toJSON: Translation

    Definition Classes
    Translation
  37. def toString(): String

    Definition Classes
    Translation → AnyRef → Any
  38. def valid_?: Boolean

  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()
  43. def wellDefined_?: Boolean

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