Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: f2f99b9d1b
Fetching contributors…

Octocat-spinner-32-eaf2f5

Cannot retrieve contributors at this time

file 56 lines (50 sloc) 2.201 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56
name: data-category
version: 0.5.0
synopsis: Category theory

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

category: Math
license: BSD3
license-file: LICENSE
author: Sjoerd Visscher
maintainer: sjoerd@w3future.com
stability: experimental
homepage: http://github.com/sjoerdvisscher/data-category
bug-reports: http://github.com/sjoerdvisscher/data-category/issues

build-type: Simple
cabal-version: >= 1.10

Library
  exposed-modules:
    Data.Category,
    Data.Category.Functor,
    Data.Category.NaturalTransformation,
    Data.Category.RepresentableFunctor,
    Data.Category.Adjunction,
    Data.Category.Limit,
    Data.Category.Monoidal,
    Data.Category.CartesianClosed,
    Data.Category.Product,
    Data.Category.Coproduct,
    Data.Category.Discrete,
    Data.Category.Yoneda,
    Data.Category.Presheaf,
    Data.Category.Boolean,
    Data.Category.Omega,
    Data.Category.Kleisli,
    Data.Category.Dialg,
    Data.Category.Peano,
    Data.Category.Simplex,
    Data.Category.Comma
    
  default-language: Haskell2010

source-repository head
  type: git
  location: git://github.com/sjoerdvisscher/data-category.git
Something went wrong with that request. Please try again.