# data-category: Restricted categories

Data-category is a collection of categories, and some categorical constructions on them.

You can restrict the types of the objects of your category by using a GADT for the arrow type. To be able to proof to the compiler that a type is an object in some category, objects also need to be represented at the value level. The corresponding identity arrow of the object is used for that.

See the `Monoid`

, `Boolean`

and `Product`

categories for some examples.

Note: Strictly speaking this package defines Hask-enriched categories, not ordinary categories (which are Set-enriched.)
In practice this means we are allowed to ignore `undefined`

(f.e. when talking about uniqueness of morphisms),
and we can treat the categories as normal categories.

Versions [RSS] [faq] | 0.0.1, 0.0.2, 0.0.3, 0.0.3.1, 0.1.0, 0.2.0, 0.3.0, 0.3.0.1, 0.3.0.2, 0.3.1, 0.3.1.1, 0.4, 0.4.1, 0.5.0, 0.5.1, 0.5.1.0, 0.5.1.1, 0.6.0, 0.6.1, 0.6.2, 0.7, 0.7.1, 0.7.2, 0.8, 0.8.1, 0.8.2, 0.9, 0.10 |
---|---|

Dependencies | base (>=3 && <5) [details] |

License | BSD-3-Clause |

Author | Sjoerd Visscher |

Maintainer | sjoerd@w3future.com |

Category | Data |

Home page | http://github.com/sjoerdvisscher/data-category |

Bug tracker | http://github.com/sjoerdvisscher/data-category/issues |

Source repo | head: git clone git://github.com/sjoerdvisscher/data-category.git |

Uploaded | by SjoerdVisscher at 2010-10-16T14:31:47Z |

Distributions | NixOS:0.10 |

Downloads | 17726 total (22 in the last 30 days) |

Rating | 2.25 (votes: 2) [estimated by Bayesian average] |

Your Rating | |

Status | Docs uploaded by user Build status unknown [no reports yet] |

## Modules

[Index]

*Data*- Data.Category
- Data.Category.Adjunction
- Data.Category.Boolean
- Data.Category.CartesianClosed
- Data.Category.Comma
- Data.Category.Dialg
- Data.Category.Discrete
- Data.Category.Functor
- Data.Category.Kleisli
- Data.Category.Limit
- Data.Category.Monoid
- Data.Category.Monoidal
- Data.Category.NaturalTransformation
- Data.Category.Omega
- Data.Category.Peano
- Data.Category.Product

- Data.Category

## Downloads

- data-category-0.3.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)