Exponentiation of functions
Has exponentialsなcategory と -object について・・・
Exponentiation functor
Covariant hom functor
を定義できる。
命題
特に のとき、
つまり、関数のexponentiationは、compositionする高階関数。
Has exponentialsなcategory と -object について・・・
を定義できる。
特に のとき、
つまり、関数のexponentiationは、compositionする高階関数。