PS

Lambda 記法

やっぱり lambda 記法の方が読みやすい。*1

Lambda 記法

  •  \lambda _ A FA := A \mapsto FA

と書くことにする*2と、例えば Pointwise weighted limits - PS

  •  \lambda _ A \textstyle\lim _ K ^ {FK} P(K,A) \cong \textstyle\lim _ K ^ {FK} \lambda _ A P(K,A)

となって覚えやすい(と思う)。 (PK)A  P(K,A) も区別しなくてよくなる。

Unlambda (Evaluation)

特に、Enriched functor category - PS で使った ending wedgeunlambda と勝手に呼ぶことにして

f:id:mbps:20150801092205p:plain

と書くことにする。Enriched evaluation functor - PS の定義により:

f:id:mbps:20150801092101p:plain

参考文献

*1:参考文献では意地でも? placeholder 記法を使っていて読めない・・・

*2: \Lambda の方がいいかもしれない( \wedge と紛らわしいかも)