2-category

5ページ 2行目、M^abc(l, h) は M^abc(l, g)
16ページ 最後の図式の一番右の id_c・λ_(g・f) は λ_{id_c・(g・f)} (消すid_cがずれてる)
17ページ 最初の図式、ところどころ id_c が id になってる
30ページ 最初の図の一番下のαはα^-1
33ページ 一番下の式の3行目()が一個よけい
43ページ 証明の真ん中あたり、φ_gpはφ_qp
52ページ ∵の最初の赤い丸のあたり、βとγが一か所typo
52ページ ω_a(u)_sが関手であることを示した後に、ω_aが関手であることも示さないといけなくない？
    ω_aの射の行先ω_a(f)を決めた後に、Δの確認のところで、θ_a(ω_a(f))=P(id_a)(f)も確かめないといけなさそう。
    (ω_a(u)_p)_g := φ_pg で定義することも書かないと54ページの定義より～がおかしくなりそう。
53,54ページ ω_a・θ_a(σ)は全部(ω_a・θ_a)(σ)な気がする