The data-category package

[Tags: bsd3, library]

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 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.


Properties

Versions0.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
LicenseBSD3
AuthorSjoerd Visscher
Maintainersjoerd@w3future.com
Stabilityexperimental
CategoryMath
Home pagehttp://github.com/sjoerdvisscher/data-category
Bug trackerhttp://github.com/sjoerdvisscher/data-category/issues
Source repositoryhead: git clone git://github.com/sjoerdvisscher/data-category.git
UploadedSat Apr 6 14:16:23 UTC 2013 by SjoerdVisscher
Downloads1685 total (93 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees