「A構造を持つ圏内でB構造を定義できる」状況がある。例えば、デカルト構造を持つ圏＝デカルト圏内で、モノイド構造＝モノイド対象を定義できる、とか。このときのA構造は圏がもつべき構造なので、Aメタ構造、またはA-2-構造となる。A-2-構造を持つ圏全体は2…