Search All of the Math Forum:

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

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

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

 Messages: [ Previous | Next ]
 Victor Porton Posts: 621 Registered: 8/1/05
Re: Which term to choose?
Posted: Oct 26, 2013 7:20 AM

William Elliot wrote:

> On Fri, 25 Oct 2013, William Elliot wrote:
>> On Fri, 25 Oct 2013, Victor Porton wrote:
>>

>> > Which term is better for a concept which generalizes both embedding and
>> > restriction: 1. "embedding-restriction"; 2. "restrembedding"?
>> >
>> > ... or maybe "commonization"?

>>
>> Perhaps embedded restriction.
>> How's it defined?
>>
>> What's your reloid distribution theorem?

>
> Is this it? Let F be a principle 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.

principle -> principal

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.

However there is a conjecture, that composition with a complete (or
cocomplete dependently on the side of composition) reloid is distributive.
(Principal reloids are a special case of complete reloids.)

For the definition of complete reloids see my book:
http://www.mathematics21.org/algebraic-general-topology.html

Well, there are also similar theorems for funcoids.

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