Module category

Module category 

Source

Traits§

Category
A type class for categories.

Functions§

category_identity
Returns the identity morphism.