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.
Stats
created |
4 years ago |
viewed |
8 times |
active |
1 year ago |
editors |
1 |
Top Answerers
more »Recent Hot Answers
If the direct image of f preserves coherent sheaves on noetherian schemes, how to show f is proper?If the direct image of f preserves coherent sheaves on noetherian schemes, how to show f is proper?
The single-plus construction is not the left adjoint of the inclusion of separated presheaves?
The single-plus construction is not the left adjoint of the inclusion of separated presheaves?
Are strict pushout squares in Cat exact squares?
more »