Alper ODABAŞ, Elis SOYLU

88103

Relationships between category theory and functional programming with an application

The most recent studies in mathematics are concerned with objects, morphisms, and the relationship between morphisms. Prominent examples can be listed as functions, vector spaces with linear transformations, and groups with homomorphisms. Category theory proposes and constitutes new structures by examining objects, morphisms, and compositions. Source and target of a morphism in category theory corresponds to input and output in programming language. Thus, a connection can be obtained between category theory and functional programming languages. From this point, this paper constructs a small category implementation in a functional programming language called Haskell.

Keywords:

Category theory functional programming, Haskell,

Turkish Journal of Mathematics-Cover

ISSN: 1300-0098
Yayın Aralığı: 6
Yayıncı: TÜBİTAK

Arşiv

Sayıdaki Diğer Makaleler

On a nonnegativity principle with applications to a certain multiterm fractional boundary value problem

Noureddine FERFAR, Said MAZOUZI

Javier GALLEGOS, Manuel DUARTE-MERMOUD

The spectral expansion for the Hahn–Dirac system on the whole line

Bilender PAŞAOĞLU ALLAHVERDIEV, Hüseyin TUNA

Legendre wavelet solution of high order nonlinear ordinary delay differential equations

Sevin GÜMGÜM, Demet ERSOY ÖZDEK, Gökçe ÖZALTUN

Quantum integral equations of Volterra type in terms of discrete-time normal martingale

Jinshu CHEN, Yuling TANG

Solvability of a system of nonlinear difference equations of higher order

Merve KARA, Yasin YAZLIK

Fatih ERDUVAN, Refik KESKİN

An inequality on diagonal F -thresholds over standard-graded complete intersection rings

A short note on some arithmetical properties of the integer part of $\alpha p$

The cissoid of Diocles in the Lorentz–Minkowski plane

Şenay BAYDAŞ, Bülent KARAKAŞ