ในทางคณิตศาสตร์โดยเฉพาะในทฤษฎีหมวดหมู่ การทำให้เข้มงวด (strictification)หมายถึงข้อความในรูปแบบ “โครงสร้างอ่อนทุกชนิดเทียบเท่ากับโครงสร้างที่เข้มงวดกว่า” ผลลัพธ์ดังกล่าวได้รับการพิสูจน์ ครั้งแรก สำหรับหมวดหมู่โมโนอิดัลโดยMac Laneและมักเป็นไปได้ที่จะอนุมานการทำให้เข้มงวดจากผลลัพธ์ความสอดคล้อง (coherence results) และในทางกลับกัน

• หมวดหมู่โมโนอิดัลทุกหมวดเทียบเท่าโมโนอิดัลกับหมวดหมู่โมโนอิดัลที่เข้มงวด^{[ 1 ]}นี่คือทฤษฎีบทความสอดคล้องของ Mac Lane (โดยพื้นฐานแล้ว)

• เงื่อนไขความสอดคล้อง

• Etingof, Pavel; Gelaki, Shlomo; Nikshych, Dmitri; Ostrik, Victor. "18.769, ภาคเรียนฤดูใบไม้ผลิ 2009, หัวข้อระดับบัณฑิตศึกษาในทฤษฎี Lie: หมวดหมู่เทนเซอร์ §.บรรยายที่ 2" . MIT Open Course Ware .