FinSet nomenclature

[epatters]

Like @olynch, I'm not thrilled by our use of FinOrd for the skeleton of FinSet. This usage appears occasionally but it's not widespread and is easily confused with another category whose morphisms are monotone functions. As an alternative, I suggest using a parameterized type

struct FinSet{T}
  set::T
end

We could then use FinSet{Int} instead of FinOrd, and use FinSet{Set} or similar for the category FinSet itself. Similarly, we would have FinRel{Int} instead of the unpleasant FinOrdRel.