net.categoricaldata.category.functor.withLocallyFinitelyGeneratedSource.withSmallTarget

CosliceCategory

abstract class CosliceCategory extends FinitelyGeneratedCategory with StandardFunctorsToSet

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

Instance Constructors

  1. new CosliceCategory(onRight: O)

Type Members

  1. trait CategoriesOver extends Category

    Attributes
    protected
  2. trait CategoryOver extends withSmallTarget

    Attributes
    protected
  3. type D = FunctorsToSet

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

    Attributes
    protected
  5. trait FinitelyGeneratedCategoriesOver extends Category

  6. trait FinitelyGeneratedCategoryOver extends CategoryOver with withFinitelyGeneratedTarget

  7. trait FinitelyGeneratedFunctorOver extends FunctorOver

  8. abstract class FullSubcategory extends Wrapper with FinitelyGeneratedCategory

    Attributes
    protected
  9. class FullSubcategoryInclusion extends withLocallyFinitelyGeneratedTarget

    Attributes
    protected
  10. trait FunctorFrom extends Functor

    Attributes
    protected
  11. trait FunctorOver extends AnyRef

    Attributes
    protected
  12. trait FunctorTo extends Functor

    Attributes
    protected
  13. trait FunctorToSet extends FunctorToSet with withFinitelyGeneratedSource

  14. trait FunctorsToSet extends FunctorsToSet

  15. type G = ObjectLeftOfMap

  16. trait Identity extends Identity with withFinitelyGeneratedTarget

    Definition Classes
    FinitelyGeneratedCategoryCategory
  17. type M = PathEquivalenceClass

  18. trait NaturalTransformationFrom extends NaturalTransformation

    Attributes
    protected
  19. trait NaturalTransformationOver extends NaturalTransformation

    Attributes
    protected
  20. trait NaturalTransformationTo extends NaturalTransformation

    Attributes
    protected
  21. trait NaturalTransformationToSet extends NaturalTransformationToSet

  22. type O = ObjectLeftOf

    Definition Classes
    CosliceCategoryCategory
  23. case class ObjectLeftOf(left: O, morphism: M) extends Product with Serializable

  24. case class ObjectLeftOfMap(source: ObjectLeftOf, target: ObjectLeftOf, generator: G) extends Product with Serializable

  25. trait Opposite extends Category

    Attributes
    protected
  26. trait OppositeFinitelyGeneratedCategory extends FinitelyGeneratedCategory with OppositeLocallyFinitelyGeneratedCategory

    Attributes
    protected
  27. trait OppositeLocallyFinitelyGeneratedCategory extends LocallyFinitelyGeneratedCategory with ReversedGenerators

    Attributes
    protected
  28. type Path = Path[O, G]

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

  30. trait ReversedGenerators extends SameObjects

  31. class RichPath extends AnyRef

    Attributes
    protected
  32. trait SameObjects extends AnyRef

  33. trait Wrapper extends Wrapper with FinitelyGeneratedCategory

    Attributes
    protected
    Definition Classes
    FinitelyGeneratedCategoryLocallyFinitelyGeneratedCategory

Abstract Value Members

  1. abstract val maximumLevel: Int

    Definition Classes
    FinitelyGeneratedCategory
  2. abstract def objectsAtLevel(k: Int): List[O]

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. def allGenerators: List[G]

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

    Definition Classes
    FinitelyGeneratedCategory
  9. def allWords: Iterable[Path]

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

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

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

    Definition Classes
    Any
  13. def categoriesOver: CategoriesOver

    Definition Classes
    SmallCategory
  14. def clone(): AnyRef

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

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

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

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

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

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

    Definition Classes
    Category
  21. def finalize(): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  22. def finitelyGeneratedCategoriesOver: FinitelyGeneratedCategoriesOver

    Definition Classes
    FinitelyGeneratedCategory
  23. def fullSubcategory(spannedBy: List[O]): FinitelyGeneratedCategory

  24. def fullSubcategoryInclusion(spannedBy: List[O]): withLocallyFinitelyGeneratedTarget

  25. val functorsToSet: FunctorsToSet { ... /* 2 definitions in type refinement */ }

    Definition Classes
    StandardFunctorsToSet
  26. implicit def generatorAsMorphism(g: G): M

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

  28. def generatorSource(g: G): ObjectLeftOf

  29. def generatorTarget(g: G): ObjectLeftOf

  30. def generators(source: ObjectLeftOf, target: ObjectLeftOf): List[ObjectLeftOfMap]

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

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

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

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

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

  36. val identityFunctor: Identity

    Definition Classes
    Category
  37. def internalize(t: NaturalTransformationToSet): M

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

    Definition Classes
    SmallCategory
  39. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  40. val minimumLevel: Int

  41. def morphisms(source: O, target: O): Iterable[M]

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

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

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

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

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

    Definition Classes
    AnyRef
  47. def objectSet: FSet

  48. lazy val objects: List[O]

    Definition Classes
    FinitelyGeneratedCategory
  49. lazy val opposite: FinitelyGeneratedCategory with SameObjects with ReversedGenerators

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

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

  52. def pathEquality(p1: Path, p2: Path): Boolean

  53. def pathHashCode(p: 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
    CosliceCategoryLocallyFinitelyGeneratedCategory
  54. def source(m: M): O

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

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

  57. def toString(): String

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

  59. def truncationFunctorAtLevel(maximumLevel: Int): withLocallyFinitelyGeneratedTarget

  60. final def wait(): Unit

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

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

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

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

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

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

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

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

  69. object yoneda extends withLocallyFinitelyGeneratedSource

Inherited from StandardFunctorsToSet

Inherited from FinitelyGeneratedCategory

Inherited from SmallCategory

Inherited from Category

Inherited from AnyRef

Inherited from Any