2 假设性虚拟范畴