This page is a personal scratchpad.

射それ自体が対象となるような圏

関数型と関係がある

• Hask圏 - 型を対象、型aからbへの関数の型をarrowとするような圏
  • (a -> b) -> c、a -> (b -> c)、(a -> b) -> (c -> d)のような関数の型が存在しうる

マウンティングの構造を記述するのに良い気がする
なぜなら、マウンティングは得てしてある属性そのものではなく、「ある属性に対してマウンティングを仕掛けること」に対して向けられているから。マウンティングという言葉が語られる文脈は既にマウンティングという射を終域とするマウンティングの射