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)