generated at
2/21/2025, 7:13:48 PM
アプリカティブ
圏論
のアプリカティブ
https://blog.miz-ar.info/wp-content/uploads/2018/12/applicative.pdf