EGAVE
strictification
Meaning
noun
??Replacement of coherent isomorphisms by equalities.
Save “strictification” to learn later