Introduction of the type class for categories.
A category is a Semigroupoid with the following additional properties:
id(B) • f = f = f • id(A)
->
the identity morphism
The category of Frege functions
Identity on values
id x is x
Category_->.id
Category.id