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
  • 3
    "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 "初等定理"
    – cauckf
    Jul 15, 2019 at 9:24
  • 1
    If it's related to initial algebra [=初始代数], then it would feature 初始 and theorem 定理.
    – Michaelyus
    Jul 17, 2019 at 12:59

1 Answer 1


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

  • 1
    I second the suggestion of @wada - maybe the Wikipedia article should be started and it will become the community-led standard name!
    – Michaelyus
    Nov 26, 2019 at 9:47

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.