<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<br>
<br>
<blockquote type="cite" cite="mid:A9FF8557-64E8-4949-A579-DF123F98AAD7@oracle.com">
<div class="">Please do one of two things: either change
“constructor-deconstructor” to “deconstructor-constructor”
everywhere, or change “embedding-projection” to
“projection-embedding” everywhere.</div>
</blockquote>
<br>
Changing to d-c pair is preferable, because e-p pair is already (I
believe) the more standard term of art?<br>
<br>
<blockquote type="cite" cite="mid:A9FF8557-64E8-4949-A579-DF123F98AAD7@oracle.com">
<div class="">Another thing you could do in the “Digression”
section is to avoid the function-composition notation, which
induces a similar reversal. You don’t really make extensive use
of the result anyway (such as by applying such a composition as
a function in a formula). My advice for a Java audience would be
to use a pseudo-Java method notation:</div>
<div class=""><br class="">
</div>
<div class="">
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>x.embed().project().equals(x)
should always be true</div>
</div>
<div class="">
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>x.project().embed().approx(x)
should be true if nothing bad happens during “project()”</div>
</div>
</blockquote>
<br>
Yes, or just f-then-g. <br>
<br>
<blockquote type="cite" cite="mid:A9FF8557-64E8-4949-A579-DF123F98AAD7@oracle.com">
<div class="">
</div>
<div class="">Alos, I’m not sure exactly what you mean by a
“complete partial order”: Wikipedia notes that the term has
three distinct meanings in common use, and is also sometimes
confused with “compete lattice”. <a href="https://en.wikipedia.org/wiki/Complete_partial_order" class="moz-txt-link-freetext" moz-do-not-send="true">https://en.wikipedia.org/wiki/Complete_partial_order</a> Furthermore
it is unclear how you indeed to use that partial order to define
the notion of approximate equivalence (which notorioiusly has
difficulties associated with lack of transitivity).</div>
</blockquote>
<br>
You're right that this should all go in a separate document where
there is more room for the gory details. These should be pretty
easy changes to make.<br>
</body>
</html>