目录

想法

经典地，一个真值是其中之一$\顶部$(真的)或$\机器人程序$(假)，因此是要素的布尔域.

（英寸构造数学，这并不是那么简单，尽管它仍然认为任何不为真的真值都是假的。）

一般来说，a真值在一个地形 $T型$是一个态射$1至欧米茄$（其中$1$是终端对象和$\欧米茄$是子对象分类器)英寸$T型$.根据定义$\欧米茄$，这等价于一个（等价类）单态$U \挂钩箭头1$。在二值拓扑，每个真值都是$\顶部$或$\底部$，而在布尔拓扑这在内部逻辑.

真值形成一个偏序集（真值偏序集)通过声明$第页$先于$q个$如果有条件的 $p至q$是真的。在地形中$T型$,$第页$先于$q个$如果对应的子对象$P\hook向右箭头1$包含在中$Q\hookright箭头1$经典地（或在二值拓扑中），可以将此偏序集写为$\{\bot\to\top\}$.

真值偏序集是海廷代数经典地（或布尔拓扑的内部），此偏序集甚至是布尔代数。它也是一个完整晶格; 事实上，它可以被描述为最初的完整晶格。作为一个完整的Heyting代数，它是一个框架，对应于一个点区域设置.

当真值集配备专业化拓扑，结果是Sierpinski空间.

真值可以解释为$0$-偏序集或作为$(-1)$-广群它也是对术语“$(-1)$-类别'，尽管这并不适合周期表.

相关概念

• 布尔域

• 一点,qbit位

• 逻辑门

• 在合成拓扑用一个优势，一些真值是打开.

• 半可判定命题