指標実例の圏
モデル圏
summary.icon
「ある
指標
の
実例
全体」の
圏
実例
対象は
指標
実例
射は
指標実例の準同型
definition.icon
等式的函手インスティチューション
をベースに
集合指標実例の圏
圏指標実例の圏
より一般の指標実例の圏