Category Laboratory Verification