Nümerik fonksiyonların değişik kategorilerde gösterimi

Bu çalışma üç bölümden oluşmaktadır. İlk bölüm giriş kısmına ayrılmıştır. İkinci bölümde, çalışmamız için gerekli olan temel kavramlar, Kategoriler ve Funktorlar, Üçlüler (Monad veya Triple), Bir Deductive Sistem Anlamında Önermesel Kalkülüs, Kartezyen Kapalı Kategoriler, Typed ?-Kalkülüs ve C- monoidler hatırlatılmıştır. Üçüncü bölümde, Recursive fonksiyonlar bir Nümerik Fonksiyon Olarak incelenmiş ve Dedekind`in bir önermesinin genellemesi yapılarak, Kartezyen Kapalı Kategorilerde Recursive fonksiyonlar gösterilmiştir.