Domain Driven Design is essentially applied category theory: You develop a language that models your domain, translate that into a diagram, and translate that

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”.)