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.")

· · Web · 1 · 2 · 4

@jsiehler i made a joke ages ago about doing this with paracompact and precompact

and tbh?

every time i need to do something with fibrations i come back to that joke

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!