Here's an example. It's not mentioned in the OP, but in a link in the OP. Microsoft's LINQ was designed using principles from category theory. They didn't use category terminology in the final product, and rightfully so.