This repository contains a tutorial on Category Theory in Programming using the Racket programming language. The tutorial aims to provide a hands-on approach to understanding fundamental category ...

Learning monads and category theory can enrich your functional programming skills in several ways. First, it can help you understand the design and implementation of functional languages and ...

This is the code for (Villa Isaza 2014), in which we study some of the applications of category theory to functional programming, particularly in the context of the Haskell functional programming ...

Applied category theory is a topic of interest for a growing community of researchers, interested in studying systems of all sorts using category-theoretic tools. ... Description: In functional ...

I’ll start with a cautionary tale, and then turn to the most important program linking AI and category theory today. Symbolica When Musk and his AI head Andrej Karpathy didn’t listen to their engineer ...

RobotCat uses a goal-oriented, declarative approach for robot programming that leverages mathematical representations found in category theory as a way to formally model modularity and behavioral ...

Since the IBN concept is based on a declarative approach to network management and programmability, we argue that the use of declarative programming to achieve IBN could uncover valuable insights for ...