Category theorists seem to enjoy coming up with confusing nomenclature.