One thing I've noticed since I've become an engineer who gets to design the architecture:
No matter what I do, eventually algebraic structures like semi-groups and monads along with categorical structure like lenses and traversals keep popping up.
In my experience such categories pop up when dealing with immutable data, which is common in many domains.
In my experience such categories pop up when dealing with immutable data, which is common in many domains.