代數入面,固定一個上嘅左模範疇係一個範疇物件係所有上嘅左態射就係所有模態射