net.categoricaldata.sets

Sets

object Sets extends Sets with InitialObjectForSets with TerminalObjectForSets with ProductsForSets with CoproductsForSets with EqualizersForSets with CoequalizersForSets with usingCoproductsAndCoequalizers

Source
Sets.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Sets
  2. usingCoproductsAndCoequalizers
  3. Colimits
  4. Diagrams
  5. CoequalizersForSets
  6. Coequalizers
  7. EqualizersForSets
  8. EqualizersAreSubs
  9. Equalizers
  10. CoproductsForSets
  11. Coproducts
  12. ProductsForSets
  13. Products
  14. TerminalObjectForSets
  15. TerminalObject
  16. InitialObjectForSets
  17. InitialObject
  18. Sets
  19. Category
  20. AnyRef
  21. Any
Visibility
  1. Public
  2. All

Type Members

  1. class Cocones extends Category

  2. class Cones extends Category

  3. trait Diagram extends Functor

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

    Attributes
    protected
  5. trait FunctorFrom extends Functor

    Attributes
    protected
  6. trait FunctorTo extends Functor

    Attributes
    protected
  7. trait Identity extends EndoFunctor

  8. type M = FFunction

    Definition Classes
    SetsCategory
  9. class MorphismsFromSet extends Category

  10. class MorphismsToSet extends Category

  11. trait NaturalTransformationFrom extends NaturalTransformation

    Attributes
    protected
  12. trait NaturalTransformationTo extends NaturalTransformation

    Attributes
    protected
  13. type O = FSet

    Definition Classes
    SetsCategory
  14. abstract type S <: FinitelyGeneratedCategory

    Definition Classes
    Diagrams

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. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  7. def bijections(set1: FSet, set2: FSet): FSet

    Definition Classes
    Sets
  8. def clone(): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  9. def coequalizerInitialCocone(ms: M*): Cocones with InitialObject

    Definition Classes
    Coequalizers
  10. def coequalizerMorphism(ms: FFunction*): FFunction

    Definition Classes
    CoequalizersForSetsCoequalizers
  11. def coequalizerObject(ms: FFunction*): FSet

    Definition Classes
    CoequalizersForSetsCoequalizers
  12. def coequalizerUniversality(m: FFunction, ms: FFunction*): FFunction

    Definition Classes
    CoequalizersForSetsCoequalizers
  13. def colimit(d: Diagram): Nothing

  14. def colimitCocone(d: Diagram): Cocone

    Definition Classes
    Colimits
  15. def colimitObject(d: Diagram): O

    Definition Classes
    Colimits
  16. def compose(first: FFunction, second: FFunction): FFunction

    Definition Classes
    SetsCategory
  17. def compose(o: O, ms: List[M]): M

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

    Definition Classes
    Category
  19. def coproduct(xs: FSet*): CoproductSet

    Definition Classes
    CoproductsForSetsCoproducts
  20. def coproduct(ms: M*)(implicit d: DummyImplicit): M

    Definition Classes
    Coproducts
  21. def coproductInjections(xs: FSet*): List[FFunction]

    Definition Classes
    CoproductsForSetsCoproducts
  22. def coproductUniversality(o: FSet, ms: List[FFunction]): FFunction

    Definition Classes
    CoproductsForSetsCoproducts
  23. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  24. def equalizerInitialCone(ms: M*): Cones with TerminalObject

    Definition Classes
    Equalizers
  25. def equalizerMorphism(ms: M*): M

    Definition Classes
    EqualizersAreSubsEqualizers
  26. def equalizerObject(ms: FFunction*): FSet

    Definition Classes
    EqualizersForSetsEqualizers
  27. def equalizerUniversality(m: M, ms: M*): M

    Definition Classes
    EqualizersAreSubsEqualizers
  28. def equals(arg0: Any): Boolean

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

    Definition Classes
    Category
  30. def finalize(): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  31. def functions(set1: FSet, set2: FSet): FSet

    Definition Classes
    Sets
  32. final def getClass(): java.lang.Class[_]

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

    Definition Classes
    AnyRef → Any
  34. def identity(set: FSet): FFunction

    Definition Classes
    SetsCategory
  35. val identityFunctor: Identity

    Definition Classes
    Category
  36. val initialObject: FSet

    Definition Classes
    InitialObjectForSetsInitialObject
  37. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  38. def morphismFromInitialObject(s: FSet): FFunction

    Definition Classes
    InitialObjectForSetsInitialObject
  39. def morphismToTerminalObject(s: FSet): FFunction

    Definition Classes
    TerminalObjectForSetsTerminalObject
  40. final def ne(arg0: AnyRef): Boolean

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

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

    Definition Classes
    AnyRef
  43. def product(xs: FSet*): ProductSet

    Definition Classes
    ProductsForSetsProducts
  44. def product(ms: M*)(implicit d: DummyImplicit): M

    Definition Classes
    Products
  45. def productInitialObject(xs: O*): MorphismsFromSet with InitialObject

    Definition Classes
    Coproducts
  46. def productProjections(xs: FSet*): List[FFunction]

    Definition Classes
    ProductsForSetsProducts
  47. def productTerminalObject(xs: O*): MorphismsToSet with TerminalObject

    Definition Classes
    Products
  48. def productUniversality(o: FSet, ms: List[FFunction]): FFunction

    Definition Classes
    ProductsForSetsProducts
  49. def source(f: FFunction): FSet

    Definition Classes
    SetsCategory
  50. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  51. def target(f: FFunction): FSet

    Definition Classes
    SetsCategory
  52. val terminalObject: FSet

    Definition Classes
    TerminalObjectForSetsTerminalObject
  53. def toString(): String

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from Colimits

Inherited from Diagrams

Inherited from CoequalizersForSets

Inherited from Coequalizers

Inherited from EqualizersForSets

Inherited from EqualizersAreSubs

Inherited from Equalizers

Inherited from CoproductsForSets

Inherited from Coproducts

Inherited from ProductsForSets

Inherited from Products

Inherited from TerminalObjectForSets

Inherited from TerminalObject

Inherited from InitialObjectForSets

Inherited from InitialObject

Inherited from Sets

Inherited from Category

Inherited from AnyRef

Inherited from Any