Why does Yitzchak's name mean to laugh if he represents gevurah? Gevurah is something that is restrained and hold back. And laughter is something which breaks out of the chains and feels more free.
R. Matis Weinberg discusses this topic at some length in his Patterns in Time: Rosh Hashanah (Chapter 4: the Humor of Din) as well as in Frameworks on Genesis (6: He Who Laughs Last).
His thesis is that laughter is a response to the incongruous and inappropriate. And gevurah/din is all about recognizing the boundaries and limitations of what is appropriate, and acting to restore the situation if those boundaries are crossed.
To quote R. Weinberg directly:
Din’s power derives from nothing other than a definitively discriminating sense of humor!