Computational Category Theory

cs.man.ac.uk
Visit Site

An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code.

Visits
391
Added
Dec 24, 2024
Rating
(11)
Rate This Site
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Advertise herefrom $15.00/day  ·  RON $21.00/day
Get the best links delivered weekly — hand-picked from 1,200,429 resources