Task: Translation
Input (English): English sentence: He worked on the theory of topoi which are highly relevant to mathematical logic.
Output (Tagalog): Siya ay nagtrabaho sa teorya ng topoi na kung saan ay mataas ang kaugnayan sa matematikal na lohika.