Module Control.Category

Introduction of the type class for categories.

Imports

Table of Content

Definitions

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

Instances

instance Category ->

The category of Frege functions

Member Functions

id ∷ α → α

Identity on values

id x is x

Functions and Values by Type

α → α

Category_->.id

Category f ⇒ f a a

Category.id

Valid HTML 4.01 Strict