now there is also the argument for the essential uniqueness of the factorization
]]>I have now written out the proof of the existence of the factorization. Next I’ll do the uniqueness
(I am just following the books, of course, closely even, nothing original here)
]]>have split off geometric surjection/embedding factorization from the relevant entries. Maybe I find the time to spell out the proof there.
]]>