Category theory envelopes relations as well, as well as arguably anything else that can be formalized.