Something like category theory?