<p>There is currently no standard name for this theorem in Chinese.</p>

CC BY-SA 4.0
2019-11-26T09:47:41.463Z
I second the suggestion of @wada - maybe the Wikipedia article should be started and it will become the community-led standard name!
Michaelyus
CC BY-SA 4.0
2019-11-25T20:22:55.313Z
2019-11-25T20:22:55.313Z
Colin McLarty
<p>This is a very specialized question.  There is a branch of mathematical logic called Homotopy Type Theory in English, and in Chinese 同伦类型论.  There is a Baidu page on it baike.baidu.com/item/同伦类型论.   A big current question in this field is in English the "initiality theorem."  In fact "initial" here is related to the idea of an initial object in category theory, and initial object in Chinese is often  初始对象.   But initiality theorem certainly cannot be expressed as  初始 定理 since that already means other things. I tried searching  同伦类型论 with initiality theorem and got no hits at all.</p>

<p>Can anyone tell me if there is a current standard Chinese name for this initiality theorem?</p>

<p>This kind of "initiality" is sometimes expressed as 初始性质 and that may be the closest i will get.  As I said, this is a very specialized question.  There may just not be any standard Chinese name for this theorem yet. </p>

CC BY-SA 4.0
2019-07-13T14:03:41.760Z
I know nothing about math but is it: 初值定理?
Mou某
CC BY-SA 4.0
2019-07-13T14:09:51.383Z
@user3306356 : 初值定理 usually refers to an initial value theorem from mathematical physics, unrelated to this initiality theorem.  So it would not be a good name for this theorem in logic.
Colin McLarty
CC BY-SA 4.0
2019-07-13T14:35:49.037Z
"initiality theorem" only gets 489 hits on Google (for me), it doesn't seem like something well talked about in English - let alone Chinese.
Mou某
CC BY-SA 4.0
2019-07-15T09:24:16.857Z
"initiality theorem" may be "初等定理"
cauckf
CC BY-SA 4.0
2019-07-17T12:59:33.040Z
If it's related to [_initial algebra_](http://staff.ustc.edu.cn/~yiyun/chapter/chap2.pdf) [=初始代数], then it would feature 初始 and _theorem_ 定理.
Michaelyus
CC BY-SA 4.0
2019-07-17T15:48:03.957Z
@Michaelyus  Yes it is that sense of initial.  The universal property of initial algebras is sometimes expressed as  “初始性质."  After the comments here, and discussion with mathematicians I think the theorem does not yet have a standard name in Chinese.   “初始性质定理" could work.  I will see next month what one group of logicians in China thinks.
Colin McLarty
CC BY-SA 4.0
2019-10-08T01:07:31.340Z
I can't even find initiality theorem on wikipedia. Why don't you start writing it on wikipedia and there will be discussion
wada
<translation>
Is there a Chinese name for the initiality theorem?
# Is there a Chinese name for the initiality theorem?

(Asked by: username_0 on 2019-07-13)

This is a very specialized question. There is a branch of mathematical logic called Homotopy Type Theory in English, and in Chinese 同伦类型论. There is a Baidu page on it baike.baidu.com/item/同伦类型论. A big current question in this field is in English the "initiality theorem." In fact "initial" here is related to the idea of an initial object in category theory, and initial object in Chinese is often 初始对象. But initiality theorem certainly cannot be expressed as 初始 定理 since that already means other things. I tried searching 同伦类型论 with initiality theorem and got no hits at all.

Can anyone tell me if there is a current standard Chinese name for this initiality theorem?

This kind of "initiality" is sometimes expressed as 初始性质 and that may be the closest i will get. As I said, this is a very specialized question. There may just not be any standard Chinese name for this theorem yet.

**Tags:** translation
> **Comments:**
> **username_1**: I know nothing about math but is it: 初值定理?  
> **username_0**: @user3306356 : 初值定理 usually refers to an initial value theorem from mathematical physics, unrelated to this initiality theorem.  So it would not be a good name for this theorem in logic.  
> **username_1**: "initiality theorem" only gets 489 hits on Google (for me), it doesn't seem like something well talked about in English - let alone Chinese.  
> **username_2**: "initiality theorem" may be "初等定理"  
> **username_3**: If it's related to [_initial algebra_](http://staff.ustc.edu.cn/~yiyun/chapter/chap2.pdf) [=初始代数], then it would feature 初始 and _theorem_ 定理.  
> **username_0**: @Michaelyus  Yes it is that sense of initial.  The universal property of initial algebras is sometimes expressed as  “初始性质."  After the comments here, and discussion with mathematicians I think the theorem does not yet have a standard name in Chinese.   “初始性质定理" could work.  I will see next month what one group of logicians in China thinks.  
> **username_4**: I can't even find initiality theorem on wikipedia. Why don't you start writing it on wikipedia and there will be discussion  

---

## 1 answers

### Answer by username_0 on 2019-11-25. Score: 0 | Accepted answer

There is currently no standard name for this theorem in Chinese.

> **Comments:**
> **username_3**: I second the suggestion of @wada - maybe the Wikipedia article should be started and it will become the community-led standard name!  

---

