I was just briefly, bitterly embarrassed about not being able to remember what "paracompact" means and then I remembered that's normal. (Not normal like "disjoint closed subsets can be separated", just normal like "a normal human being.")
@jsiehler i made a joke ages ago about doing this with paracompact and precompact
every time i need to do something with fibrations i come back to that joke
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!