generated at
指標圏
等式的函手インスティチューション
対象は指標
パス同値関係を持った有向グラフ
コンピュータッド
射は指標の準同型