型クラスの功罪

罪も多い。次を混乱させてしまった。

• 指標とモデル圏
• パラメータ付き指標とファイバー付きモデル圏
• 忘却射影に対するセクション（so-called インスタンス）
• ひとつのモデル
• モデル圏／ファイバー付きモデル圏のあいだの関手（構成手続き）

特に、ファイバー付きモデル圏の概念を汚染した気がする。