One other thing that has a lot in common with those two is algebraic data types. Products and sums crop up in all these areas. Maybe it's enough to say that with category theory, we feel like we are revealing the "elementary particles" (or rules) of all of these systems.