1.2 集合の要素 圏にはいろいろな種類があるが、それらの中で馴染みやすいのは集合の圏だろう。これは\(\mathbf{Set}\)で表すことにしよう。集合の圏\(\mathbf{Set}\)とは、対象のそれぞれが集合であり、集合の間の射はそれぞれが全関数であり、射の合成…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。