scrap:対象と射を関手と自然変換に格上げする方法
対象と射を関手と自然変換に格上げする方法 - 檜山正幸のキマイラ飼育記 (はてなBlog)
cripped at 2019/08/21 7:11
#檜山正幸のキマイラ飼育記