「圏論勉強会 復習」の続きみたいなハナシ。話題はレトラクション。レトラクション対（retraction pair）とは、r:X→Yとi:Y→Xの対(r, i)で、i;r = X（idXを単にXと書く）を満たすもの。rのほうを（狭い意味で）レトラクションと呼んで、iを埋め込み（embeddin…