lathe-morphisms-lib (racket): Interfaces for category theory concepts. (lib)
Keywords: algebra|category|contracts|equality|functional|lathe|set