2021-01-28から1日間の記事一覧

混同・混乱

よくある混同・混乱 構文的表現と意味的実体 要素と集合 射と写像(射=写像 と思いこんでいる) 要素と単元集合 要素と長さ1のリスト 空集合と単元集合(入力や出力が「ない」ときなど) 特定状況 多圏の基本対象(AtomObj(M))と多対象(PolyObj(M) = List…