
Re: Which term to choose?
Posted:
Oct 26, 2013 7:15 AM


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. "embeddingrestriction"; 2. "restrembedding"? >> >> ... or maybe "commonization"? > > Perhaps embedded restriction. > How's it defined?
Not "embedded restriction", because it may be not a restriction.
A<>B = (A;B;id_{A\cap B}).
A<>B is a morphism of the category Rel.
When A is a subset of B, it is an embedding.
When A is a superset of B, it is a restriction.
> What's your reloid distribution theorem? > Please state it in ascii in the body of your reply.
What is "distribution"?

