Corollaryは必然に。

このブログは「コロちゃんぬ」の提供でお送りします

2018-12-01から1ヶ月間の記事一覧

行列式ビンゴをやろう!

この記事は日曜数学 Advent Calendar 2018の18日目の記事です。 さらに、数学ゲーム Advent Calendar 2018の18日目の記事でもあります。数学ゲームのみに興味がある方は「行列式ビンゴ大会」のスライドに目を通していただき、目次の「行列式ビンゴはゲーム足…

私の好きな証明2018

この記事は「好きな証明 Advent Calendar 2018」の7日目の記事です。 いきなりですが!(楽天カードマンの言い方)みなさんは「好きな証明」ありますか?私はいくつか思い当たる証明があってブログにしようと思ったのですが、そういうのはもう誰かがどこかで…

随伴は あらゆるところに 現れる

この記事はCategory Theory Advent Calendar 2018の6日目の記事であることをお知らせします。7日目はmod_poppoさんの「アプリカティブ関手ってなに?モノイド圏との関係は?調べてみました!」です。Φカフェ数学デーで行われている「『ベーシック圏論』をゆ…