strictification
Jump to navigation
Jump to search
English[edit]
Noun[edit]
strictification (plural strictifications)
- (mathematics, category theory) ??Replacement of coherent isomorphisms by equalities.
strictification (plural strictifications)