Talk:Dedekind Completion is Unique up to Isomorphism

I have introduced this theorem for most concepts in the cat thy realm (anything generated by a universal property) as "X is Unique" because it's so much shorter and the compromise on consistency between title and theorem is very small (IMHO). Just sayin'. --Lord_Farin (talk) 22:35, 8 January 2013 (UTC)


 * So what's actually wrong with the conceptual simplicity of "Dedekind Completion is Unique"? I argue that the latter is better because it's easier to find when you're looking for it. --prime mover (talk) 06:11, 9 January 2013 (UTC)