https://en.wikipedia.org/wiki/Abstract_nonsense https://en.wikipedia.org/wiki/Abstract_nonsense https://math.stackexchange.com/questions/823289/abstract-nonsen

https://en.wikipedia.org/wiki/Abstract_nonsense https://en.wikipedia.org/wiki/Abstract_nonsense https://math.stackexchange.com/questions/823289/abstract-nonsense-proof https://math.stackexchange.com/questions/823289/abstract-non... Sometimes the proof in category theory is trivial but we have no lower dimension or concrete intuition as to why that is true. This whole state of affairs is called abstract nonsense.