GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → jwbuurlage → Category Theory Programmers

jwbuurlage / Category Theory Programmers

Licence: mit
Category theory in the context of (functional) programming

Labels

functional-programmingmathematicscategory-theory

Projects that are alternatives of or similar to Category Theory Programmers

Fundamental Haskell
Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.
Stars: ✭ 88 (-81.08%)
Mutual labels:  category-theory, functional-programming
Domains
A computational algebra system in Smalltalk.
Stars: ✭ 124 (-73.33%)
Mutual labels:  mathematics, category-theory
Naive functional programming
A naive approach to functional programming using TypeScript
Stars: ✭ 129 (-72.26%)
Mutual labels:  category-theory, functional-programming
Arrow
Λrrow - Functional companion to Kotlin's Standard Library
Stars: ✭ 4,771 (+926.02%)
Mutual labels:  category-theory, functional-programming
Zio Prelude
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Stars: ✭ 267 (-42.58%)
Mutual labels:  category-theory, functional-programming
Fp Core.rs
A library for functional programming in Rust
Stars: ✭ 772 (+66.02%)
Mutual labels:  category-theory, functional-programming
Cql
Categorical Query Language IDE
Stars: ✭ 196 (-57.85%)
Mutual labels:  category-theory, functional-programming
Functional Examples
Examples with Functional JavaScript, following Professor Frisby's course
Stars: ✭ 179 (-61.51%)
Mutual labels:  category-theory, functional-programming
C3T
C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱
Stars: ✭ 26 (-94.41%)
Mutual labels:  mathematics, category-theory
reed-thesis
My undergradate thesis on coinductive types in univalent type theory
Stars: ✭ 14 (-96.99%)
Mutual labels:  mathematics, category-theory
Bow
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Stars: ✭ 538 (+15.7%)
Mutual labels:  category-theory, functional-programming
Scala typeclassopedia
Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.
Stars: ✭ 338 (-27.31%)
Mutual labels:  category-theory, functional-programming
Plt
λΠ Programming Language Theory
Stars: ✭ 4,609 (+891.18%)
Mutual labels:  category-theory, functional-programming
Milewski Ctfp Pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Stars: ✭ 9,037 (+1843.44%)
Mutual labels:  category-theory, functional-programming
Dslsofmath
Domain Specific Languages of Mathematics
Stars: ✭ 159 (-65.81%)
Mutual labels:  mathematics, functional-programming
Lambda Talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Stars: ✭ 315 (-32.26%)
Mutual labels:  mathematics, functional-programming
Fp Resources
Functional programming great resources
Stars: ✭ 369 (-20.65%)
Mutual labels:  category-theory, functional-programming
Groovy
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
Stars: ✭ 4,359 (+837.42%)
Mutual labels:  functional-programming
Librmath.js
Javascript Pure Implementation of Statistical R "core" numerical libRmath.so
Stars: ✭ 425 (-8.6%)
Mutual labels:  mathematics
Topshell
TopShell - a purely functional, reactive scripting language
Stars: ✭ 422 (-9.25%)
Mutual labels:  functional-programming
View All Similar Projects ➔

Notes on Category Theory and Haskell

The notes can be found here:

  • pdf
  • epub (work in progress, missing diagrams and theorems)

This document contains notes on category theory in the context of (functional) programming. Originally they were lecture notes for a seminar hosted at Centrum Wiskunde & Informatica, the national research centre for mathematics and computer science in the Netherlands. The main reason for compiling these notes is to provide a way to gain familiarity with concepts of category theory (and other branches of mathematics) that apply in a broad sense to the field of functional programming.

Although the main focus is on the mathematics, examples are given in Haskell to illustrate how to apply the concepts. In some places, examples are given in other languages as well (such as Python and C++). The topics discussed include:

  • Categories
  • Types as a category
  • Products
  • Yoneda
  • Closed Cartesian categories
  • Adjunctions
  • Monads
  • F-algebras and recursion
  • Comonads
  • Lenses

Generating the document

The notes are written in Markdown, and pandoc is used to generate the document. Running make inside the doc directory should result in an (updated) pdf, granted that pandoc, pandoc-citeproc and a LaTeX environment are installed.

Contributing

GitHub can be used for any issues (typos, inaccuracies, ...). Pull requests with fixes or additional material are also very welcome.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].