[zmgsabst]

Domain Driven Design is essentially applied category theory:

You develop a language that models your domain, translate that into a diagram, and translate that diagram into code.

(Okay, actually topos theory since you’re going between type theories and diagrams — but you use the diagrams to move between type theories and define “equivalent structure”.)