Changed the name of the page: “Fox theorem” -> “Fox’s theorem”

]]>Corrected the statement of the characterisation, which requires symmetry and uniqueness. (There also exist variants that require neither symmetry nor uniqueness, which I may come back to add later.)

]]>Thanks for the encouragement! I will complete the page later.

]]>Just to amplify what Hurkyl already says in the related thread (here): It can and often does make sense to have a dedicated page for a concept that also appears as a sub-topic in one or more other pages.

For theorems it makes particular sense: Once a theorem has its own page with details on proofs and references etc., then other entries are at liberty to quote the theorem’s statement without duplicating all that background info (instead just linking to the dedicated theorem page), which may serve their readability.

Therefore, instead of deleting this entry it would be good if you could further complete it!

]]>Could you delete this page? Fox theorem is already described on the page “cartesian monoidal category”.

]]>I create this page to describe precisely the theorem Thomas Fox is known for.

]]>