data-category: Category theory
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
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
| Versions | 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.1, 0.7.2, 0.8, 0.8.1, 0.8.2, 0.9, 0.10, 0.11 |
|---|---|
| Change log | None available |
| Dependencies | None [details] |
| License | BSD-3-Clause |
| Author | Sjoerd Visscher |
| Maintainer | sjoerd@w3future.com |
| Category | Math |
| 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 2020-04-11T15:01:58Z |
Modules
[Index] [Quick Jump]
- Data
- Data.Category
- Data.Category.Adjunction
- Data.Category.Boolean
- Data.Category.CartesianClosed
- Data.Category.Comma
- Data.Category.Coproduct
- Data.Category.Cube
- Data.Category.Dialg
- Data.Category.Enriched
- Data.Category.Fix
- Data.Category.Functor
- Data.Category.Kleisli
- Data.Category.Limit
- Data.Category.Monoidal
- Data.Category.NNO
- Data.Category.NaturalTransformation
- Data.Category.Product
- Data.Category.RepresentableFunctor
- Data.Category.Simplex
- Data.Category.Unit
- Data.Category.Void
- Data.Category.Yoneda
- Data.Category
Downloads
- data-category-0.7.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees