Relationships between category theory and functional programming with an application

ODABAŞ A., SOYLU YILMAZ E.

TURKISH JOURNAL OF MATHEMATICS, cilt.43, sa.3, ss.1566-1577, 2019 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 43 Sayı: 3
  • Basım Tarihi: 2019
  • Doi Numarası: 10.3906/mat-1807-189
  • Dergi Adı: TURKISH JOURNAL OF MATHEMATICS
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus, TR DİZİN (ULAKBİM)
  • Sayfa Sayıları: ss.1566-1577
  • Eskişehir Osmangazi Üniversitesi Adresli: Evet

Özet

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.