Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Topic: Which term to choose?
Replies: 41   Last Post: Nov 9, 2013 5:20 AM

 Messages: [ Previous | Next ]
 Victor Porton Posts: 614 Registered: 8/1/05
Re: Which term to choose?
Posted: Oct 28, 2013 8:12 AM

William Elliot wrote:

> On Sun, 27 Oct 2013, Victor Porton wrote:
>

>> >> > Is this it? Let F be a principal filter for XxY
>> >> > and for all j in J, Gj a filter for YxZ. Then
>> >> > . . F o /\_j Gj = /\{ F o Gj | j in J }.
>> >> >
>> >> > Also if F filter for XxY, G,H filter for YxZ, then
>> >> > . . F o G/\H = FoG /\ FoH.

>> >>
>> >> Yes, these two theorems are correct.

>
>> >> I know no other distributive theorems of reloids.
>> > But you said you wrote a whold chapter about that.
>>
>> I wrote a chapter with the proof that for every principal reloid F
>> F o /\_j Gj = /\{ F o Gj | j in J }.
>>

> Why a whold 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 reliods with composition
> are order dual to quantales.

This result is not interesting, because principal reloids are essentially
the same as binary relations.

That binary relations with composition are order dual to quantales, isn't a
new result.

Date Subject Author
10/25/13 Victor Porton
10/25/13 Peter Percival
10/25/13 fom
10/25/13 William Elliot
10/26/13 William Elliot
10/26/13 Victor Porton
10/26/13 William Elliot
10/27/13 Victor Porton
10/27/13 William Elliot
10/28/13 Victor Porton
10/29/13 William Elliot
10/29/13 Victor Porton
10/30/13 William Elliot
10/30/13 Victor Porton
10/30/13 William Elliot
10/31/13 Victor Porton
11/1/13 William Elliot
11/1/13 Victor Porton
11/1/13 William Elliot
11/2/13 Victor Porton
11/2/13 William Elliot
11/3/13 Victor Porton
11/3/13 Victor Porton
11/3/13 William Elliot
11/4/13 William Elliot
11/4/13 Victor Porton
11/5/13 William Elliot
11/5/13 Victor Porton
11/6/13 William Elliot
11/6/13 Victor Porton
11/6/13 William Elliot
11/7/13 Victor Porton
11/7/13 William Elliot
11/8/13 William Elliot
11/8/13 Victor Porton
11/8/13 William Elliot
11/9/13 Victor Porton
11/9/13 William Elliot
11/9/13 William Elliot
11/9/13 Victor Porton
10/26/13 Victor Porton