2013-06-25から1日間の記事一覧
C = V + H と直和分解されている圏が隠蔽指標。射を次のように呼ぶ。 dom(f) cod(f) fの呼び名 H H transition H V observer V H constructor V V calculation 通常、calculationはないとする。M:C→Set が集合論的なモデル。Vの要素(対象)だけで定義された…
Sをスキーマとか指標と呼ばれる圏(または圏の表示)として、型は関手圏 [S, C] の対象となる。Sが含まれる圏の圏(ドクトリン)をDとする。x:S→X in D が部分関手として、E:S→C も部分関手(部分的に定義された、Cに値を取る意味)として、この状況自体を λ…