abstract nonsense
существительное
—
(mathematics, humorous) Details which are straightforward but so tedious that an author or lecturer would rather skip them (especially those of a category theoretical nature).
—
(mathematics, humorous) Details which involve diagram chasing.
—
category theory