2006-04-11 同型 とは同型。 高校の頃だったか、とが同型かで意見が割れて、思わず身を引いてしまったことがありまして、mimeTeXを使ってこれの証明が表現できるかと思ったが、射はあまり綺麗に表現できなさそうだ。