2021-01-28 混同・混乱 セミナー 教育 よくある混同・混乱 構文的表現と意味的実体 要素と集合 射と写像(射=写像 と思いこんでいる) 要素と単元集合 要素と長さ1のリスト 空集合と単元集合(入力や出力が「ない」ときなど) 特定状況 多圏の基本対象(AtomObj(M))と多対象(PolyObj(M) = List(AtomObj(M)))と、忘却した後の圏の対象(Obj(U(M)))