借助范畴论数学中不再有相等

时间：2024-05-19 03:08:10  编辑：顺达建站  访问：959

数学中的「相等」能在数理逻辑中严格定义吗?，2017年8月3日从一阶逻辑模子论的角度下去说，等于关系严厉来讲其实不是一个对象或许符号上的关系，而是一个指称上的知乎

科学网—[转载]范畴论(数学分支):是抽象地处理数学结构以，2022年1月10日领域论是笼统地处置数学构造和构造之直接洽的一门数学实际,以笼统的办法来处置数学概念,将这些概念情势化成一组组的“对象”及“态射”。有些人开顽笑地称之迷信网博客播报暂停

数学中的「相等」能在数理逻辑中严格定义吗?，2017年8月3日从一阶逻辑模子论的角度下去说，等于关系严厉来讲其实不是一个对象或许符号上的关系，而是一个指称上的知乎

范畴论在数学中的应用，在现实的数学研讨中,领域论常常被用于对某个数学对象停止更周全和深刻的描写和研讨。例如,在代数学中,领域论可以用于研讨代数构造之间的类似性,寻觅它们之间的同构关系,并通百度文库

科学网—[转载]范畴论(数学分支):是抽象地处理数学结构以，2022年1月10日领域论是笼统地处置数学构造和构造之直接洽的一门数学实际,以笼统的办法来处置数学概念,将这些概念情势化成一组组的“对象”及“态射”。有些人开顽笑地称之迷信网博客播报暂停

范畴论在数学中的应用，在现实的数学研讨中,领域论常常被用于对某个数学对象停止更周全和深刻的描写和研讨。例如,在代数学中,领域论可以用于研讨代数构造之间的类似性,寻觅它们之间的同构关系,并通百度文库