Noun
(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.
(mathematics, humorous) Category theory in general.
Source: en.wiktionary.org