Sierp vs UProp

Stream: mathlib4

[Robert Maxton]

If I were going to add a bundled TopCat to Mathlib that was essentially just of ULift Prop (but with a nontrivial amount of API around representing open/closed sets as morphisms under its namespace), should it be named Sierp or UProp?

[Edward van de Meent]

i suspect that something like UProp is more along the lines of mathlibs naming style. The fact that it is also called Sierpinski space can be mentioned in the docstring of the definition, and possibly of the module too.