范畴Set(以集合为对象,函数为态射)具有笛卡儿闭性。定义 X×Y 为 X 和 Y 的笛卡儿积,ZY 为从 Y 到 Z 的函数集合。给定任何态射(这里为函数) f : X×Y → Z ,定义态射g : X → ZY 为 g(x)(y)=f(x,y),则 f 由 g 自然确定。
一月 27, 2023
笛卡儿闭范畴, 在范畴论中, 如果任何积的态射都可通过其某个因子的态射来自然确定, 那么称该范畴具有笛卡儿闭性, 此类范畴在数理逻辑和程序设计理论中尤为重要, 定义, 编辑称满足下列三个条件的范畴, 具有笛卡儿闭性, 有终对象, 有积, 包含任意对象, 的积, 有幂, 包含任意对象, 的幂, 举例, 编辑范畴set, 以集合为对象, 函数为态射, 具有笛卡儿闭性, 定义, 的笛卡儿积, 为从, 的函数集合, 给定任何态射, 这里为函数, 定义态射g, 自然确定, 取自, https, wikipedia, inde. 在范畴论中 如果任何积的态射都可通过其某个因子的态射来自然确定 那么称该范畴具有笛卡儿闭性 此类范畴在数理逻辑和程序设计理论中尤为重要 定义 编辑称满足下列三个条件的范畴 C 具有笛卡儿闭性 C 有终对象 C 有积 C 包含任意对象 X Y 的积 X Y C 有幂 C 包含任意对象 Y Z 的幂 ZY 举例 编辑范畴Set 以集合为对象 函数为态射 具有笛卡儿闭性 定义 X Y 为 X 和 Y 的笛卡儿积 ZY 为从 Y 到 Z 的函数集合 给定任何态射 这里为函数 f X Y Z 定义态射g X ZY 为 g x y f x y 则 f 由 g 自然确定 取自 https zh wikipedia org w index php title 笛卡儿闭范畴 amp oldid 56181697, 维基百科,wiki,书籍,书籍,图书馆,