Definition of Strictification. Meaning of Strictification. Synonyms of Strictification

Here you will find one or more explanations in English for the word Strictification. Also in the bottom left of the page several parts of wikipedia pages related to the word Strictification and, of course, Strictification synonyms and on the right images related to the word Strictification.

Definition of Strictification

No result for Strictification. Showing similar results...

Meaning of Strictification from wikipedia

- In mathematics, specifically in category theory, a strictification refers to statements of the form “every weak structure of some sort is equivalent to...
- ISBN 978-3-540-05963-9. Retrieved 2020-01-15. Guillou, Bertrand (2010). "Strictification of categories weakly enriched in symmetric monoidal categories". Theory...
- formulae and terms in proof theory. The theorem can be stated as a strictification result; namely, every monoidal category is monoidally equivalent to...
- 2-category. Replacing coherent isomorphisms by equalities is usually called strictification or rectification. Mac Lane's coherence theorem states, roughly, that...
- "n-category" typically refers to "weak n-category"; not strict one. strictification A strictification is a process of replacing equalities holding weakly (i.e....