備忘録。kは0以上の整数とする。使う記号。 記号 意味 in アンビエントアビタを示す from 構成のソース指標 to 構成のターゲット指標 k-σ k-指標 k-γ k-構成 k k-射の宣言 :k k重のコロン →k k重の矢印 := 割り当て記号 ( ) パラメトライズ ( ) 気休め語〈co…

備忘録。指標内で項を使ってよい。項は、プロファイルのなかで使える。ただし、当該の宣言文が出現する前に登場した（提供された）基本記号と、メタ指標（指標の指標＝親指標）のメタ記号を使って構成される項に限る。一方で、構成〈construction〉でも項は…

超越的等号： 実質的に集合論の等号 (n+1)-射：n-圏の(n+1)-射としての等号 述語 ： トポスにおいて、対角射 ΔA:A→A×A の特性射 eq:A×A→Ω。

後で追加修正するかも。指標の一覧： 名前 提供記号 ひとこと Magma * 乗法記号使ったマグマ UnitalMagma *, 1 単位的マグマ MonoidAste *, 1 モノイド MonoidPlus +, 0 モノイド Group *, 1, ~ 群 AbGroupPlus +, 0, - アーベル群 Ring +, 0, -, *, 1 可換…