Have you ever looked at a category theory or differential geometry paper? It just doesn’t feel like you appreciate what people are up against.

Look at this thing: https://images.app.goo.gl/4WHN9Pqupxkk8Z3j7

And that’s before you get into stuff like categories of spans, etc.