3

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: 初值定理? – user3306356 Jul 13 '19 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. – Colin McLarty Jul 13 '19 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. – user3306356 Jul 13 '19 at 14:35
  • "initiality theorem" may be "初等定理" – cauckf Jul 15 '19 at 9:24
  • 1
    If it's related to initial algebra [=初始代数], then it would feature 初始 and theorem 定理. – Michaelyus Jul 17 '19 at 12:59
0

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

| improve this answer | |
  • 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 '19 at 9:47

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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