Origin: Latin suffix -tion
Definition, synonyms and related words
A natural transformation whose naturality squares are pullbacks.