層・圏・トポス 読書会 #4

行ってきました。今回は写真もあります！すばらしい！
C(-, C)とC(-, C')の自然変換の様子。

しりとり圏で確認。

いのうえ君、こんなとこにおったんか…。上の写真と下の写真の対応は、

C, C', C₁, C₂

順に、い、え、あ、う。

C(id_C1, g)

C("あ", "いのうえ")

g

"いのうえ"

f

"う.*あ"

h

"あまい"

などなど。
で、進捗としては、米田埋め込みと米田のレンマの復習でほぼ終わりました。
個人的に激しく未消化なので、ちょっと腰を据えてやり直すつもりです。