指数の中置演算子

• 圏の指数のための中置演算子記号 - 檜山正幸のキマイラ飼育記

指数の中置演算子には随分と苦労している。

• [ , ]
• →
• ⊃
• ^-
• --o
• --○
• ●--○

左右の指数を区別をするときは、それぞの逆向き。

指数を使ってアブラムスキーのネームとコネームを表すには4種類の記号がいる。

• アブラムスキーのネームとかフリップとか - 檜山正幸のキマイラ飼育記

※ このエントリを本編に間違って書いてしまったよ。