[sc34wg3] Identifying and comparing subjects (and a possible extension to \tau )

[Lars Marius Garshol]

* Ann Wrightson
|
| That the TMDM/TAO way works in practice for a growing number of real
| situations is important (and is BTW a v. legitimate basis for LMG's
| position).

Uh, what *is* my position?
 
| This has been (since 2000 ;-) my main argument against merging
| always being an a+b=c kind of operation that loses the fine
| structure of a & b. I believe that there should also be a different
| operation that both preserves the original maps and defines a
| view-as-if-merged-according-to-this-mapping.

The different operation doesn't have anything to do with the
standard. We've defined what the merge operation should produce, and
if someone then wants to implement it as a view-as-if operation they
can.
 
| I'm realizing as I write that this suggests a different formal
| account of merging - call it merge2 - eg (in \tau) where the two
| maps being merged have different sets of names (curly N1 and N2) in
| the universe (curly I) and instead of merge2 being a set union, it
| is a function where the desired property of "preserving information"
| from the source maps to the target maps becomes a morphism property
| of the function.

I don't think that's necessary, and I don't think this has anything to
do with the TAO/TMDM/Tau/RM difference.

-- 
Lars Marius Garshol, Ontopian         <URL: http://www.ontopia.net >
GSM: +47 98 21 55 50                  <URL: http://www.garshol.priv.no >