真

在逻辑学中, 真与假是两种真值. 真常常记为 $\top$.

在高阶范畴论和同伦类型论中, 真可以定义为单点空间或单位类型. 这也是唯一的 “$(-2)$-范畴” 或 “$(-2)$-类型”.

1相关概念

术语翻译

真 • 英文 true