2020年1月19日に、コモノイドの簡単な事例を構成しようとして失敗したので、少し変更したモノイド圏において、コモノイドを構成・決定する（リベンジ）。関連して復習もする。モノイド構造／コモノイド構造は、環境・世界となるモノイド圏のなかで定義される…

2020年1月19日に、簡単な自然変換の例を示そうと思ってトチったので、リベンジ。圏論の抽象的概念も、具体例をたくさん触る（手でいじる）ことにより、だんだん実感がわいて、お馴染みのモノとなり、自由に扱えるようになる。考え込む前に例を作ろう。内容：…

別なブログに書いたが、このシリーズの記事なので、エントリーを設けてリンクだけ記述しておく。 行列の圏のなかでモナドを探す

別なブログに書いたが、このシリーズの記事なので、エントリーを設けてリンクだけ記述しておく。 行列の圏のなかでモノイドを探す

別なブログに書いたが、このシリーズの記事なので、エントリーを設けてリンクだけ記述しておく。 図式思考の例として、コモノイドについて考えてみる

※この記事は「記事8」証明図が描けるようになることは目的にしてないが、特定の典型的例については理解しておいたほうが良いと思うので、2020年2月2日に出した図の詳しい解説をする。例題の図を頑張って丹念に追いかければ、形式化された推論・証明に対して…