Origin: Latin suffix -tion
Definition, synonyms and related words
A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.