Вот что-то вроде теоретиков категории: это тривиально, но не тривиально тривиально.