「色々な包含的圏」において、包含的圏の変種を6種類定義しました。圏の対象達全体の集合に載る大域的な構造と、各対象ごとに構成できる局所的な構造の2つの観点から分類しています。この記事では、包含的圏（の変種）の事例であり、同時に誤解しやすい点に…