まだ圏論の詳しい説明に入っていませんがしばらくこのまま続けます。自由群の説明ができるぐらいまでなんとか数式で説明していきたいのですが、どこまでできるか調べているところです。直積と直和(圏論の用語では積と余積)で作られた以下の集合を考えます。…
先日圏論の説明をしようとしましたが、ここでは可換図式の斜めの線が書けないらしいので可換図式を書くのがけっこう難しいです。そこで図を使わずに数式の変形だけで説明できないのか考えていきたいと思います。圏の定義から(Wikipediaに従って)説明していき…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。