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