众所周知, 自同构的存在阻止精模空间产生, 同时在粗模空间里产生奇点. 所以为了解决这个问题, 我们需要引入一类新的几何对象: 叠 (stack). 马后炮地整理一下, 粗模空间和概形是错误的几何对象, 1-范畴 (普通的范畴) 也是错误的讨论空间. 正确的几何对象是叠, 2-范畴 (甚至 ∞- 范畴) 才是更加正确的讨论空间.