やっぱり lambda 記法の方が読みやすい。*1 Lambda 記法 と書くことにする*2と、例えば Pointwise weighted limits - PS は となって覚えやすい(と思う)。 と も区別しなくてよくなる。 Unlambda (Evaluation) 特に、Enriched functor category - PS で使っ…

記法 *1 *2 Ends Fubini Yoneda bijections (Co)representations Yoneda Limits Colimits Limits in self-enriched categories Yoneda via (co)limits Fubini via (co)limits Powers Copowers Continuity in weights Ends in enriched categories Coends in …