Top Qs
Timeline
Chat
Perspective

Strictification

From Wikipedia, the free encyclopedia

Remove ads

In mathematics, specifically in category theory, a strictification refers to statements of the form “every weak structure of some sort is equivalent to a stricter one.” Such a result was first proven for monoidal categories by Mac Lane, and it is often possible to derive strictifications from coherence results and vice versa.

Monoidal category

See also

Notes

Reference

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads