Template‐ノート:型システム

quotient type の訳について

Special:Diff/85798611 で「"quotient type" の訳は「商型」である (例: [1])」として編集を行いましたが、 URL の先の文献は機械翻訳でした。他の文献を探しましたが WP:RS に該当するような文献を見つけることは出来ませんでした。ただし、 "quotient type" は "quotient set" が元になっており、その "quotient set" が「商集合」と訳される以上は "quotient type" は「商型」と暫定的に訳するべきではないかと思います。--Hexirp（会話） 2021年9月29日 (水) 13:15 (UTC)