「バンドルと層の記法 まとめ」に対する追加記事です。用語と記法を少し追加修正し、整理します。内容： サイトとその上の層 関数、関手、自然変換の適用記法 前層におけるバッククォート記法 セクション層関手 この記事で参照した過去記事 追記：ℓΓ記法 サ…