(no subject)
Jul. 19th, 2016 09:04 amOk, let's continue with the Problem category.
Object types in the category: Problem, Cluster, Clustering Criteria, Sorting Criteria, Sorting Arrows
Arrows in the category:
f: Problem -> Cluster
g: Cluster -> Clustering Criteria
h: Sorting Criteria -> Sorting Arrow (a0, a1, a2...), where a: A->B (sorting function operating on problems)
We also need to define a binary operator + that allows us to add (concatenate) problems.
The category allows us to analyze problems by clustering, prioritizing, and combining them.
Object types in the category: Problem, Cluster, Clustering Criteria, Sorting Criteria, Sorting Arrows
Arrows in the category:
f: Problem -> Cluster
g: Cluster -> Clustering Criteria
h: Sorting Criteria -> Sorting Arrow (a0, a1, a2...), where a: A->B (sorting function operating on problems)
We also need to define a binary operator + that allows us to add (concatenate) problems.
The category allows us to analyze problems by clustering, prioritizing, and combining them.