底类型

在范畴论中经常会谈起这种特殊的类型—— 0 类型。