
Re: Which term to choose?
Posted:
Oct 29, 2013 2:58 AM


> >> I wrote a chapter with the proof that for every principal reloid F > >> F o /\_j Gj = /\{ F o Gj  j in J }.
What else is in that chapter? More about reloids?
> > Why a whole chapter? The proof is so short and the topic so basic > > that it should be included in the basic chapter on reloids. > > > > Anyway, that shows that principal reloids with composition > > are order dual to quantales. > > This result is not interesting, because principal reloids are essentially > the same as binary relations. > How so?
> That binary relations with composition are order dual to quantales, isn't a > new result. It seems there's enough material about reloids for a short paper. What intuitive significance would you give reloids?

