Arguments working entirely at a high level of abstraction, particularly category-theoretic arguments.
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.