Imagine being a category theorist 😂