n实验室真值
已从“真实值”重定向。
目录
目录
想法
经典地,一个真值是其中之一(真的)或(假),因此是要素的布尔域.
(英寸构造数学,这并不简单,尽管它仍然认为任何不为true的真值都是false。)
一般来说,a真值在一个地形 是一个态射(其中是终端对象和是子对象分类器)英寸.根据定义,这等价于一个(等价类)单态。在二值拓扑,每一个真值都是或,而在布尔拓扑这在内部逻辑.
真值形成一个偏序集(该真值偏序集)通过声明先于如果有条件的 是真的。在地形中,先于如果对应的子对象包含在中经典地(或在二值拓扑中),可以将此偏序集写成.
真值偏序集是海廷代数经典地(或布尔拓扑的内部),此偏序集甚至是布尔代数。它也是一个完全晶格; 事实上,它可以被描述为最初的完整晶格。作为一个完整的Heyting代数,它是一个框架,对应于一个点区域设置.
当真值集配备了专业化拓扑,结果是Sierpinski空间.
真值可以解释为-偏序集或作为-广群这也是对“-类别',尽管这并不适合周期表.
上次修订时间:2024年1月26日20:08:47。请参阅历史获取所有贡献的列表。