About

A traditional description of arguments working at a high level of abstraction and generality. Particularly associated with category-theoretic arguments, especially when applied when a more concrete proof might have been expected. Occasionally pejorative; more usually affectionate or slightly facetious.

history | show excerpt | excerpt history