"As a category theorist, Cheng researches relationships. She uses this focus on relationships to address the problem of the divisiveness of arguments around gender equality. She abstracts the ideas and reframes the discussion based on relevant character traits that she demonstrates do not have to be linked to gender. She looks for assumptions that have been made, seeks to discard them, and discovers fundamental relationships. In order to better articulate these relationships, she invents new terminology as a way of preventing futile divisive arguments. These new terms are ingressive and congressive. She defines ingressive behavior as “going into things” where the focus is on the self and is more competitive, individualistic, and adversarial. She defines congressive behavior as “bringing things together” where the focus is on community and is more collaborative, interdependent, and cooperative. She gives many examples to illuminate her definitions. ... Cheng is deeply interested in making mathematics accessible to everyone."