SavedAdd your journal

Journals / Turkish Journal of Mathematics / 2019 / Cilt: 43 - Sayı: 3

Relationships between category theory and functional programming with an application

Alper ODABAŞ
Elis SOYLU YILMAZ
Pages
1566–1577
Publication Date
2022-11-05
DOI
—
🏛️Bibliographic metadata and full text access for this article are provided via DergiPark.
DergiPark Record ↗
✨

AI Summary & Key Takeaways

AI Insight
⚡ TL;DR(Too Long; Didn't Read)

Fromthis point, this paper constructs a small category implementation in a functional programming language called Haskell

📌 3 Key Takeaways

🎯
Objective & Hypothesis:The most recent studies in mathematics are concerned with objects, morphisms, and the relationship betweenmorphisms.
📊
Key Findings & Data:Prominent examples can be listed as functions, vector spaces with linear transformations, and groups withhomomorphisms.
💡
Conclusion & Impact:Fromthis point, this paper constructs a small category implementation in a functional programming language called Haskell
🔬Design:Research Article
📍Scope:Comprehensive Sample
⚙️Variables:Domain Parameters

Abstract

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

🔖

Cite This Article

ODABAŞ, A., YILMAZ, E. S. (2022). Relationships between category theory and functional programming with an application. Turkish Journal of Mathematics, Cilt: 43 - Sayı: 3, 1566–1577. https://ajindex.com/articles/607686

📄 Full Text PDF Viewer

📄

PDF görüntüleyici hazırlanıyor...

References (16)

  1. Arbib M, Manes E. Arrows, Structures, and Functors: The Categorical Imperative. London, UK: Academic Press, 1975
  2. Arvasi Z. Categories and Computer Science, Lecture Notes in Osmangazi University. Eskişehir, Turkey: Osmangazi Universit,y 2013
  3. Asperti A, Longo G. Categories, Types, and Structures, Foundations of Computing Series. London, UK: MIT Press, 1991
  4. Barr M, Wells C. Category Theory Lecture Notes for ESSLLI, 1999. (
  5. Barr M, Wells C. Category Theory for Computing Science. New York, NY, USA: Prentice Hall, 1990
  6. Dillon L. Functional vs Imperative Programs, Lecture Notes, 2008
  7. Eilenberg S, MacLane S. Categories for the Working Mathematician. New York, NY, USA: Springer, 1998
  8. Fokker J. Functional Programming, Utrecht University Department of Computer Science Lecture Notes, 1995
  9. Hagino T. A Categorical Programming Language. PhD, Kyoto University, Kyoto, Japan, 1987
  10. Hutton G. Programming in Haskell. London, UK: Cambridge University Press, 2007
  11. Pitt D, Abramsky S, Poigne A, Rydeheard D. Category Theory and Computer Programming, U.K. Tutorial and Workshop. Guildford, UK: Springer, 1985
  12. Reddy US. Categories and Functors, Lecture Notes for Midlands Graduate School in The University of Birmingham. Birmingham, UK: University of Birmingham, 2013
  13. Rydeheard DE, Burstall RM. Computational Category Theory, Prentice-hall International Series in Computer Science. New Jersey, USA: Prentice Hall 1988
  14. Soylu E. Category Theory with Haskell. MSc, Osmangazi University, Eskişehir, Turkey, 2013
  15. Vimal SP. Functional Programming, BITS Plain, 2012
  16. Walters RFC. Categories and Computer Science, Cambridge Texts in Computer Science. Cambridge, UK: Cambridge University Press, 1991.