やっぱり lambda 記法の方が読みやすい。*1 Lambda 記法 と書くことにする*2と、例えば Pointwise weighted limits - PS は となって覚えやすい(と思う)。 と も区別しなくてよくなる。 Unlambda (Evaluation) 特に、Enriched functor category - PS で使っ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。