Definition of Strictifications. Meaning of Strictifications. Synonyms of Strictifications

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

Definition of Strictifications

No result for Strictifications. Showing similar results...

Meaning of Strictifications from wikipedia

- monoidal categories by Mac Lane, and it is often possible to derive strictifications from coherence results and vice versa. Every monoidal category is monoidally...
- 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...
- ISBN 978-3-540-05963-9. Retrieved 2020-01-15. Guillou, Bertrand (2010). "Strictification of categories weakly enriched in symmetric monoidal categories". Theory...
- "n-category" typically refers to "weak n-category"; not strict one. strictification A strictification is a process of replacing equalities holding weakly (i.e....