Translations = functors
here I am using the term category theory term functor to describe a (potentially lossy) translation between two “knowledge graphs”