Remove question about whether Heyting algebras are cancellative semigroups.

mikeizbicki / subhask

Type safe interface for working in subcategories of Hask

BSD 3-Clause "New" or "Revised" License

418 stars 43 forks source link

Remove question about whether Heyting algebras are cancellative semigroups. #35

Closed sacsar closed 8 years ago

sacsar commented 8 years ago

Also add a comment that they're not cancellative in general, in case the question arises again. (Counterexample: open intervals in R.)

This resolves #34. I'm not sure it's worth including the counterexample in the note. (Or even the note for that matter. It seems worth noting if the example of a Heyting algebra that springs to mind in this context is cancellative. Of course, I don't know what that example is.)

mikeizbicki commented 8 years ago

Thanks!