Module Control.Category

Introduction of the type class for categories.


Table of Content


class Semigroupoid f ⇒ Category f

A category is a Semigroupoid with the following additional properties:

 id(B) • f = f = f • id(A)

Known Instances


Member Functions

idCategory f ⇒ f a a

the identity morphism


instance Category ->

The category of Frege functions

Member Functions

id ∷ α → α

Identity on values

id x is x

Functions and Values by Type

α → α


Category f ⇒ f a a

Valid HTML 4.01 Strict