net.categoricaldata.examples

Examples

object Examples extends AnyRef

Source
Examples.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Examples
  2. AnyRef
  3. Any
Visibility
  1. Public
  2. All

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. val BipartiteGraph: Ontology with Free

  7. val BipartiteGraphToGraph: Translation

  8. def Chain(n: Int): Ontology with Acyclic

  9. lazy val Chain1ToIsomorphism: Translation

  10. val Chain1ToPointedSets: Translation

  11. def Codegeneracy(n: Int, k: Int): Translation

  12. val Codomain: Translation

  13. def Coface(n: Int, k: Int): Translation

  14. val Compose: Translation

  15. def DiscreteCategory(n: Int): Ontology with Free

  16. val DiscreteDynamicalSystem: Ontology

  17. val Domain: Translation

  18. def Duplicate(n: Int, k: Int): Translation

  19. val E2: Ontology with Free

  20. val E2ToPointedSets: Translation

  21. def FiniteCyclicMonoid(n: Int, k: Int): Ontology with Finite

  22. val FunctionalRelation: Translation

  23. val FunctionalRelationReverse: Translation

  24. val Graph: Ontology with FreeAcyclic

  25. val GraphToDiscreteDynamicalSystem1: Translation

  26. val GraphToDiscreteDynamicalSystem2: Translation

  27. val GraphToFunction: Translation

  28. def IndiscreteCategory(n: Int): Ontology with Finite

  29. val InitialCategory: Ontology

  30. def InitialDataset(c: Ontology): Dataset

  31. def InitialFunctor(c: Ontology with Finite): Translation

  32. val InitialGraph: Dataset

  33. val IntegersMod2Group: Ontology

  34. val Isomorphism: Ontology with Finite

  35. val PointedSets: Ontology with Finite

  36. val PointedSetsToIsomorphism: Translation

  37. def RelationArity(n: Int): Ontology with FreeAcyclic

  38. val Retraction: Ontology with Finite

  39. val ReverseGraph: Translation

  40. val ReverseSpan: Translation

  41. def Skip(n: Int, k: Int): Translation

  42. val SourceFunction: Translation

  43. lazy val Span: Ontology with FreeAcyclic

  44. lazy val SpanToGraph: Translation

  45. val Span_to_Chain(2): Translation

  46. val TargetFunction: Translation

  47. val TerminalBigraph: Dataset

  48. val TerminalCategory: Ontology with Acyclic

  49. def TerminalCategoryToFiniteCyclicMonoid(n: Int, k: Int): Translation

  50. def TerminalDataset(c: Ontology): Dataset

  51. def TerminalFunctor(c: Ontology): Translation

  52. val TerminalGraph: Dataset

  53. def TranslationFiniteCyclicMonoids(n1: Int, k1: Int, n2: Int, k2: Int, image: Int): Translation

  54. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  55. def clone(): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  56. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  57. def equals(arg0: Any): Boolean

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

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

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

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

    Definition Classes
    Any
  62. final def ne(arg0: AnyRef): Boolean

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

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

    Definition Classes
    AnyRef
  65. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  66. def toString(): String

    Definition Classes
    AnyRef → Any
  67. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from AnyRef

Inherited from Any