English

edit

Noun

edit

strictification (plural strictifications)

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