# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorDavid_Corfield
• CommentTimeJul 2nd 2020

Added the characterization of $Comp$ as the unique non-trivial pretopos which is well-pointed, filtral and admits all set-indexed copowers of its terminal object from

• Vincenzo Marra, Luca Reggio, A characterisation of the category of compact Hausdorff spaces, (arXiv:1808.09738)
• CommentRowNumber2.
• CommentAuthorDavid_Corfield
• CommentTimeJul 2nd 2020

Added a comment by Marra and Reggio comparing their characterization of $Comp$ with ETCS as differing about the existence of infinite discrete objects.

• CommentRowNumber3.
• CommentAuthorDavid_Corfield
• CommentTimeJul 2nd 2020