見ればいいと思うよ！

今週の活動はこれだけ。

ガロア接続は名前の恐ろしさに反して意外に簡単で面白い。証明も難しくない上に面白い。別の場所に書いたのを転載する。 基本的にマックレーンの「圏論の基礎」pp. 124-126 の劣化コピー。 ガロア接続*1 順序集合 R, S の間に反単調写像*2 f:R→S, g:S→R があ…