3,094
个编辑
更改
跳到导航
跳到搜索
第452行：
第452行： +
→函数版本的Lawvere定理
=====函数版本的Lawvere定理=====
=====函数版本的Lawvere定理=====
[[文件:Lawvere定理的函数版本.png|替代=lawvere定理的函数版本|缩略图|lawvere定理的函数版本]]
然而，由于原始版本的[[Lawvere定理]]是构建在[[范畴论]]基础之上的，而对于不熟悉此数学语言的读者来说，该定理显得非常晦涩难懂。因此，本词条首先介绍一个简化后的函数版本的Lawvere定理，然后再介绍原始的范畴论版本。该函数版本的定理是在2003年Yanofsky给出的，该定理可陈述如下。
然而，由于原始版本的[[Lawvere定理]]是构建在[[范畴论]]基础之上的，而对于不熟悉此数学语言的读者来说，该定理显得非常晦涩难懂。因此，本词条首先介绍一个简化后的函数版本的Lawvere定理，然后再介绍原始的范畴论版本。该函数版本的定理是在2003年Yanofsky给出的，该定理可陈述如下。