lathe-morphisms

Interfaces for category theory concepts.


Keywords
algebra, category, contracts, equality, functional, lathe, set