曇りなき眼で見定めブログ

学生です。勉強したことを書いていく所存です。リンクもコメントも自由です! お手柔らかに。。。更新のお知らせはTwitter@cut_eliminationで

2021-07-03から1日間の記事一覧

「直観主義型理論(ITT, Intuitionistic Type Theory)」勉強会ノート其ノ弐拾「二つの集合の直和」「命題的な(?)等しさ(途中まで)」(復習編)

こちらの復習編。簡単に。 直和 は任意の集合の直和でここでは二つの集合の直和である。違いは数だけではない。 ではインデックス? ラベル? のようなものと集合族とで直和を形成したが、ここでは集合と集合からである。なので&にあった非対称性が にはない…