(2022-01-13) メモ

"Functorial Fast-Growing Hierarchies" (Juan P. Aguilera, ‪Fedor Pakhomov, ‪Andreas Weiermann) は……

まあ、とりあえず関手を使う流れがあるらしい。私の、順序数崩壊関数に高階関数を持ち込むやつに役立つかもしれない。