I find it useful as he needed it for the following sentence to make sense :
A good notation should make this map Notation (and its inverse) as close to a (natural) isomorphism as possible.
Having said he want an isomorphism for Notation sums up all the following points he made explicitly (and more), so we could argue that we can keep the Notation and the isomorphism part but remove all the following point 1..9+
I think that in this way the post reach more people :) some needs only to read the first sentences, some the properties and finally some the example.
Isn't it a nice way to understand what he is trying to say in as much different ways as possible?
A good notation should make this map Notation (and its inverse) as close to a (natural) isomorphism as possible.
Having said he want an isomorphism for Notation sums up all the following points he made explicitly (and more), so we could argue that we can keep the Notation and the isomorphism part but remove all the following point 1..9+
I think that in this way the post reach more people :) some needs only to read the first sentences, some the properties and finally some the example.
Isn't it a nice way to understand what he is trying to say in as much different ways as possible?