net.categoricaldata.ontology

Ontology

trait Ontology extends FinitelyPresentedCategory

Self Type
Ontology
Source
Ontology.scala
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Ontology
  2. FinitelyPresentedCategory
  3. FinitelyGeneratedCategory
  4. LocallyFinitelyGeneratedCategory
  5. SmallCategory
  6. Category
  7. AnyRef
  8. Any
Visibility
  1. Public
  2. All

Type Members

  1. trait CategoriesOver extends Category

    Attributes
    protected
  2. trait CategoryOver extends withSmallTarget

    Attributes
    protected
  3. type D = Datasets

  4. trait Datamap extends NaturalTransformationToSet with Datamap

  5. trait Dataset extends FunctorToSet with Dataset

  6. sealed trait Datasets extends FunctorsToSet

  7. trait EndoFunctor extends FunctorFrom with FunctorTo with ParametrizedFunctor[Category.this.type, Category.this.type]

    Attributes
    protected
  8. trait FinitelyGeneratedCategoriesOver extends Category

  9. trait FinitelyGeneratedCategoryOver extends CategoryOver with withFinitelyGeneratedTarget

  10. trait FinitelyGeneratedFunctorOver extends FunctorOver

  11. class FullSubcategory extends FullSubcategory with Ontology

  12. class FullSubcategoryInclusion extends FullSubcategoryInclusion with Translation

  13. trait FunctorFrom extends Functor

    Attributes
    protected
  14. trait FunctorOver extends AnyRef

    Attributes
    protected
  15. trait FunctorTo extends Functor

    Attributes
    protected
  16. trait FunctorToSet extends FunctorToSet with withFinitelyPresentedSource

  17. trait FunctorsToSet extends FunctorsToSet

  18. type G = Arrow

  19. trait Identity extends Identity with withFinitelyPresentedTarget

  20. type M = PathEquivalenceClass

  21. trait NaturalTransformationFrom extends NaturalTransformation

    Attributes
    protected
  22. trait NaturalTransformationOver extends NaturalTransformation

    Attributes
    protected
  23. trait NaturalTransformationTo extends NaturalTransformation

    Attributes
    protected
  24. trait NaturalTransformationToSet extends NaturalTransformationToSet

  25. type O = Box

    Definition Classes
    OntologyCategory
  26. trait OntologyOver extends CategoryOver with Translation

  27. trait OntologyWrapper extends Wrapper with Ontology

  28. trait Opposite extends Category

    Attributes
    protected
  29. trait OppositeFinitelyGeneratedCategory extends FinitelyGeneratedCategory with OppositeLocallyFinitelyGeneratedCategory

    Attributes
    protected
  30. trait OppositeFinitelyPresentedCategory extends FinitelyPresentedCategory with OppositeFinitelyGeneratedCategory

  31. trait OppositeLocallyFinitelyGeneratedCategory extends LocallyFinitelyGeneratedCategory with ReversedGenerators

    Attributes
    protected
  32. trait PartialDataset extends FinitelyGeneratedCategoryOver with Translation

  33. type Path = Path[O, G]

  34. case class PathEquivalenceClass(representative: Path) extends Product with Serializable

  35. trait ReversedGenerators extends SameObjects

  36. class RichPath extends AnyRef

    Attributes
    protected
  37. trait SameObjects extends AnyRef

  38. trait Wrapper extends Wrapper with FinitelyPresentedCategory

Abstract Value Members

  1. abstract def generators(source: O, target: O): List[G]

  2. abstract val maximumLevel: Int

    Definition Classes
    FinitelyGeneratedCategory
  3. abstract val minimumLevel: Int

  4. abstract def objectsAtLevel(k: Int): List[O]

  5. abstract def pathEquality(path1: Path, path2: Path): Boolean

  6. abstract def pathHashCode(path: Path): Int

    The only constraint on pathHashCode is the equal paths must give the same result.

    The only constraint on pathHashCode is the equal paths must give the same result. The extent possible, unequal paths should give different results, as long as this is a cheap calculation. Categories with normal forms override this automatically.

    Definition Classes
    LocallyFinitelyGeneratedCategory
  7. abstract def relations(source: O, target: O): List[(Path, Path)]

    Definition Classes
    FinitelyPresentedCategory

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. object AllFunctorsToSet extends FunctorsToSet

  7. object Dataset extends AnyRef

  8. object Datasets extends Datasets

  9. def allGenerators: List[G]

    Definition Classes
    FinitelyGeneratedCategory
  10. def allNontrivialWords: Iterable[Path]

    Definition Classes
    FinitelyGeneratedCategory
  11. def allRelations: List[(Path, Path)]

    Definition Classes
    FinitelyPresentedCategory
  12. def allWords: Iterable[Path]

    Definition Classes
    FinitelyGeneratedCategory
  13. def allWordsOfLength(k: Int): List[Path]

    Definition Classes
    FinitelyGeneratedCategory
  14. def allWordsUpToLength(k: Int): List[Path]

    Definition Classes
    FinitelyGeneratedCategory
  15. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  16. def assertAcyclic: Ontology with Acyclic

  17. def assertFinite: Ontology with Finite

  18. def assertFree: Ontology with Free

  19. def categoriesOver: CategoriesOver

    Definition Classes
    SmallCategory
  20. def clone(): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  21. def compose(m1: M, m2: M): PathEquivalenceClass

  22. def compose(o: O, ms: List[M]): M

    Definition Classes
    Category
  23. def compose(m0: M, ms: M*): M

    Definition Classes
    Category
  24. final def eq(arg0: AnyRef): Boolean

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

    Definition Classes
    FinitelyPresentedCategory → AnyRef → Any
  26. def exponentiate(m: M, k: Int): M

    Definition Classes
    Category
  27. def finalize(): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  28. def findAllTranslationsTo(other: Ontology): Iterable[Translation]

  29. def findEquivalencesTo(other: FinitelyPresentedCategory): Iterable[Equivalence]

    Definition Classes
    FinitelyPresentedCategory
  30. def findIsomorphismsTo(other: FinitelyPresentedCategory): Iterable[Functor]

    Definition Classes
    FinitelyPresentedCategory
  31. def finitelyGeneratedCategoriesOver: FinitelyGeneratedCategoriesOver

    Definition Classes
    FinitelyGeneratedCategory
  32. def fullSubcategory(spannedBy: String*)(implicit d: DummyImplicit): FullSubcategory

  33. def fullSubcategory(spannedBy: List[O]): FullSubcategory

  34. def fullSubcategoryInclusion(spannedBy: String*)(implicit d: DummyImplicit): FullSubcategoryInclusion

  35. def fullSubcategoryInclusion(spannedBy: List[O]): FullSubcategoryInclusion

  36. val functorsToSet: Ontology.this.Datasets.type

    Definition Classes
    OntologySmallCategory
  37. implicit def generatorAsMorphism(g: G): M

  38. implicit def generatorAsPath(g: G): Path[O, G]

  39. def generatorSource(g: G): Box

  40. def generatorTarget(g: G): Box

  41. def generatorsFrom(source: O): List[G]

  42. def generatorsTo(target: O): List[G]

  43. final def getClass(): java.lang.Class[_]

    Definition Classes
    AnyRef → Any
  44. lazy val hashCode: Int

    Definition Classes
    OntologyFinitelyPresentedCategory → AnyRef → Any
  45. def identity(o: O): PathEquivalenceClass

  46. val identityFunctor: Identity

    Definition Classes
    FinitelyPresentedCategoryCategory
  47. object identityTranslation extends Identity with Translation

  48. def internalize(t: NaturalTransformationToSet): M

    Definition Classes
    SmallCategory
  49. def internalize(f: FunctorToSet): O

    Definition Classes
    SmallCategory
  50. def isEquivalentTo(other: FinitelyPresentedCategory): Boolean

    Definition Classes
    FinitelyPresentedCategory
  51. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  52. def isIsomorphicTo(other: FinitelyPresentedCategory): Boolean

    Definition Classes
    FinitelyPresentedCategory
  53. def morphisms(source: O, target: O): Iterable[M]

  54. def morphismsOfLength(k: Int)(source: O, target: O): Set[M]

  55. def morphismsUpToLength(k: Int)(source: O, target: O): Set[M]

  56. final def ne(arg0: AnyRef): Boolean

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

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

    Definition Classes
    AnyRef
  59. def objectSet: FSet

  60. lazy val objects: List[O]

    Definition Classes
    FinitelyGeneratedCategory
  61. lazy val opposite: Ontology with ReversedGenerators

  62. implicit def path2RichPath(path: Path): RichPath

    Attributes
    protected
    Definition Classes
    LocallyFinitelyGeneratedCategory
  63. implicit def pathAsMorphism(p: Path): PathEquivalenceClass

  64. def relationsFrom(source: O): List[(Path, Path)]

    Definition Classes
    FinitelyPresentedCategory
  65. def relationsTo(target: O): List[(Path, Path)]

    Definition Classes
    FinitelyPresentedCategory
  66. def source(m: M): O

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

    Definition Classes
    AnyRef
  68. def target(m: M): O

  69. def toJSON: Ontology

  70. def toString(): String

    Definition Classes
    Ontology → AnyRef → Any
  71. def truncateAtLevel(maximumLevel: Int): FinitelyGeneratedCategory

  72. def truncationFunctorAtLevel(maximumLevel: Int): withLocallyFinitelyGeneratedTarget

  73. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws()
  76. def words(source: O, target: O): Iterable[Path]

  77. def wordsFrom(source: O): Iterable[Path]

  78. def wordsOfLength(k: Int)(source: O, target: O): List[Path]

  79. def wordsOfLengthFrom(k: Int)(source: O): List[Path]

  80. def wordsUpToLength(k: Int)(source: O, target: O): List[Path]

  81. def wordsUpToLengthFrom(k: Int)(source: O): List[Path]

  82. object yoneda extends withLocallyFinitelyGeneratedSource

Inherited from FinitelyPresentedCategory

Inherited from FinitelyGeneratedCategory

Inherited from SmallCategory

Inherited from Category

Inherited from AnyRef

Inherited from Any