Lambda 記法
やっぱり lambda 記法の方が読みやすい。*1
Lambda 記法
と書くことにする*2と、例えば Pointwise weighted limits - PS は
となって覚えやすい(と思う)。 と も区別しなくてよくなる。
Unlambda (Evaluation)
特に、Enriched functor category - PS で使った ending wedge を unlambda と勝手に呼ぶことにして
と書くことにする。Enriched evaluation functor - PS の定義により: