用語のごちゃごちゃ
2023/3/23 また混乱してきた
型クラス関連の用語のごちゃごちゃ
縦に並んだのは大体同じもの
table:用語
型クラス （型）インスタンス
数学的構造
代数的構造 代数系
指標 （指標）実例、モデル
一般用語としてフリーにしておきたい
構造
使うのをやめた
指標モデル
指標から構成された代数的構造
指標と代数的構造を同一視することにした
指標実例の圏の対象集合
「AはBである」のメタレイヤー