English edit

Noun edit

strictification (plural strictifications)

  1. (mathematics, category theory) ??Replacement of coherent isomorphisms by equalities.

Related terms edit