Moniker1998

> I'm attracted to this idea. A counterpoint is that whatever goes in there may not be clearly distinguished from issue already. So the process turns from Issue -> PR...

> Lindelöf regular space is (strongly) paracompact. This is something that doesn't exist on pi-base https://topology.pi-base.org/spaces?q=regular+%2B+Lindelof+%2B+hausdorff+%2B+not+strongly+para

The problem I see is to what extent we should provide proofs to meta-properties

@StevenClontz oh, I didn't know it existed. I would also like to document properties independent of ZFC there, if possible I've already created a small list which I was hoping...

> Maybe it's worth clarifying what the level of knowledge expected from the ordinary user of pi-base is? I don't think any level of knowledge is expected. To verify properties...

> Can you give an example of use in algebraic topology? Pay in mind that this is not my field, but this example is a colimit of $\mathbb{R}^n$ and a...

What about Hausdorff zero-dimensional compact sober space implies spectral space? Also maybe edit the "space" out of "spectral space" to be consistent?

https://www.sciencedirect.com/science/article/pii/S0166864116302152 Compactly generated => Ascoli This is a stronger theorem so should be included rather than what you are proposing

The article I've posted above seems to consider Tychonoff spaces $X$, while the original article that defines Ascoli spaces seems to consider $T_3$ spaces. So, what separation properties do we...

I don't like the word "non-trivial" here, since that usually means its either empty or whole space, while you mean to say that it has a quasi-component which is not...