# Is there a Chinese name for the initiality theorem?

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.

• I know nothing about math but is it: 初值定理?
– Mou某
Jul 13, 2019 at 14:03
• @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. Jul 13, 2019 at 14:09
• "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某
Jul 13, 2019 at 14:35
• "initiality theorem" may be "初等定理" Jul 15, 2019 at 9:24
• If it's related to initial algebra [=初始代数], then it would feature 初始 and theorem 定理. Jul 17, 2019 at 12:59