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