2010-09-02 [長年日記]
λ. CLTT の 1.5 Change-of-base and composition for fibrationsのノート
CLTT読書会で読んでいる Categorical Logic and Type Theory の、1.5 Change-of-base and composition for fibrations を復習して、練習問題も一通り解いた。だんだん追いついてきたよ。練習問題はきっと綺麗に解けるんだろうけど、がりがり計算して解いてしまった。