I'm not an expert by any means but there are some papers exploring this using category theory.