scrap:関手と飾り文字

曖昧な記法だと、ほんとに話がグチャグチャになって、考えがまとまりません。記法の整理・整備は大事です。内容：

cripped at 2020/04/06 2:13