uemurax/hott-ja

n-truncated, n-type の日本語訳

Closed this issue · 5 comments

n-truncated, n-type の日本語訳
  • n型
  • n-型

n-truncation = n切り捨て?

truncation は切り捨てと訳されることがあるが、 n-truncation の訳としては適切ではない。切り捨てというと型の高次の構造を捨てているような印象を与えるが、 n-truncation は構造を捨てるどころか同一視を追加している。

truncation の訳としては遠くなるが、「n近似」あたりが n-truncation の特徴を捉えていると思う。

n切り詰めはありかもしれない。