Relationships between category theory and functional programming with an application | Zendy

Alper Odabaş | Zendy; Elis SOYLU YILMAZ | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Relationships between category theory and functional programming with an application

Author(s) -

Alper Odabaş,

Elis SOYLU YILMAZ

Publication year - 2019

Publication title -

turkish journal of mathematics

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.454

H-Index - 27

eISSN - 1303-6149

pISSN - 1300-0098

DOI - 10.3906/mat-1807-189

Subject(s) - morphism , category theory , mathematics , functional programming , haskell , vector space , homomorphism , algebra over a field , closed category , programming language , pure mathematics , computer science , functor

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research