strictification

Noun

 * 1)  ??Replacement of coherent isomorphisms by equalities.

Related terms

 * strictify