CLTT読書会のまとめです。1.3.1の(i)の"if"の証明を酒井さんが解いて下さったので、その図を載せときます。まず、示さなきゃいけないのは、問題文のようなhが与えられたとき、(u,f)がCartesianであること。つまり、以下の図の青字のような任意の(v,g):(K,Z)→…