Category Theory in Programming

Welcome to Category Theory in Programming, a journey into the conceptual world where mathematics meets software development. This tutorial is designed for Racket programmers who are curious about the mathematical ideas underlying computational systems. It offers insights into how familiar programming concepts can be reinterpreted through the lens of category theory, and even goes further to direct

[dhrname]

カルテシアン閉圏(カルテジアン閉圏、デカルト閉圏、cartesian closed category、CCC、注：デカルトのフランス名がDescartesでラテン名がcartesius)が探しても見当たらず、さらに、随伴(adjoint)ではなく、集合論で積(product)を定義