XOO’s

Entries tagged as ‘quotient type’

Why quotient and subset on datatype ?

一月 19, 2009 · Leave a Comment

Why we need quotients and subsets of datatypes ?

One of the reaons is we could derive operations naturally. A simple example is the unordered pair. Define R_{uo} as (a, b)~R_{uo}~(b, a) for all a, b \in \mathbf{A}. Then, (\mathbf{A} \times \mathbf{A}) / R_{uo} is the unordered pair. (更多…)

類別： Computer Science · Mathematics
Tagged: