Category:Wosets are Isomorphic to Each Other or Initial Segments