The language of categories is affectionately known as “abstract nonsense,” so named by Norman Steenrod. This term is essentially accurate and not necessarily derogatory: categories refer to “nonsense” in the sense that they are all...