20200511203311

「導出できる」と書いてしまったけど、恒等射の公理の確認を私が忘れていたので、後ほどちゃんと考えます。