Definition from Wiktionary, the free dictionary
- (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.
- (skipped details): handwave
straightforward and tedious details