ในทางคณิตศาสตร์หมวดหมู่ Qหรือหมวดหมู่ผลหารเกือบสมบูรณ์^{[ 1 ]}คือหมวดหมู่ที่เป็น "เวอร์ชันที่อ่อนกว่าของไซต์ Grothendieck" ^{[ 2 ]}หมวดหมู่ Q เป็นหมวดหมู่ย่อยที่สะท้อนร่วมกัน [ ^{1 ] Q}ย่อมาจากผลหาร

แนวคิดของ Q-categories ได้รับการแนะนำโดย Alexander Rosenberg ในปี 1988 ^{[ 2 ]}แรงจูงใจสำหรับแนวคิดนี้คือการใช้งานในเรขาคณิตพีชคณิตแบบไม่สลับที่ในรูปแบบนี้พื้นที่แบบไม่สลับที่ถูกกำหนดให้เป็นชีฟบน Q-categories

หมวดหมู่ Q ถูกกำหนดโดยสูตร^{[ 1 ]}$${\displaystyle \mathbb {A}$$ :(u^{*}\dashv u_{*}):{\bar {A}}{\stackrel {\overset {u^{*}}{\leftarrow }}{\underset {u_{*}}{\to }}}A} โดยที่${\displaystyle u^{*}}$เป็นตัวผกผันทางซ้ายในคู่ของฟังก์ชันผกผันและเป็นฟังก์ชันที่สมบูรณ์และซื่อสัตย์

• หมวดหมู่ของพรีชีฟเหนือหมวดหมู่ Q ใดๆ ก็คือหมวดหมู่ Q นั่นเอง^{[ 1 ]}
• สำหรับหมวดหมู่ใดๆ ก็ตาม เราสามารถกำหนดหมวดหมู่ Q ของกรวยได้^{[ 1 ]}
• มีตะแกรงประเภท Q ^{[ 1 ]}

• Kontsevich, Maxim; Rosenberg, Alexander (2004b). "Noncommutative stacks" . ncatlab.org . สืบค้นเมื่อ25 มีนาคม 2023 .
• เบร์เซซินสกี, โทมัสซ์ (29 ตุลาคม 2550). เบร์เซซินสกี้, โทมัสซ์; ปาร์โด, โฆเซ่ หลุยส์ โกเมซ; เชสตาคอฟ, อีวาน; สมิธ, แพทริค เอฟ. (บรรณาธิการ). หมายเหตุเกี่ยวกับความราบรื่นอย่างเป็นทางการโมดูลและคอมโมดูลarXiv : 0710.5527 . ดอย : 10.1007/978-3-7643-8742-6 .
• Lawvere, F. William (2007). "Axiomatic Cohesion" (PDF) . ทฤษฎีและการประยุกต์ใช้หมวดหมู่ . 19 (3): 41– 49.