
Re: Which term to choose?
Posted:
Oct 27, 2013 8:58 AM


William Elliot wrote:
> On Sat, 26 Oct 2013, Victor Porton wrote: >> William Elliot wrote: > >> >> What's your reloid distributive theorem? >> >> Please state it in ascii in the body of your reply. >> > >> > 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. >> >> > Are there any additional distributive theorems for >> > reloids other than reversing the compositions? >> >> I know no other distributive theorems of reloids. > > But you said you wrote a hold 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 }.

