homepage: http://github.com/morphismtech/free-categories
changelog-type: markdown
hash: 56182705207ee9f2854f0ea60ca03305226fdaf3aa0552c6670d21e26addfb6f
test-bench-deps: {}
maintainer: eitan@morphism.tech
synopsis: free categories
changelog: |
  # Revision history for free-categories

  ## 0.1.0.0 -- 2019-10-01

  * First version.
basic-deps:
  base: ! '>=4.12 && <=5'
all-versions:
- 0.1.0.0
author: Eitan Chatav
latest: 0.1.0.0
description-type: markdown
description: |
  # free-categories

  Consider the category of Haskell "quivers" with

  * objects are types of higher kind
    * `p :: k -> k -> Type`
  * morphisms are terms of `RankNType`,
    * `forall x y. p x y -> q x y`
  * identity is `id`
  * composition is `.`

  Now, consider the subcategory of Haskell `Category`s with

  * constrained objects `Category c => c`
  * morphisms act functorially
    * `t :: (Category c, Category d) => c x y -> d x y`
    * `t id = id`
    * `t (g . f) = t g . t f`

  The [free category functor](https://ncatlab.org/nlab/show/free+category)
  from quivers to `Category`s may be defined up to isomorphism as

  * the functor `Path` of type-aligned lists

  * the functor `FoldPath` of categorical folds

  * abstractly as `CFree path => path`, the class of
    left adjoints to the functor which
    forgets the constraint on `Category c => c`

  * or as any isomorphic data structure
license-name: BSD-3-Clause

homepage: http://github.com/morphismtech/free-categories
changelog-type: markdown
hash: 2d248c669140cf82324569eaf90406c7c9d4a510088aca1979c9bd411bc5980c
test-bench-deps: {}
maintainer: eitan@morphism.tech
synopsis: free categories
changelog: |
  # Revision history for free-categories

  ## 0.2.0.0 -- 2020-02-12

  * Separate into 3 modules.
  * Refactor typeclasses.
  * Rename functions

  ## 0.1.0.0 -- 2019-10-01

  * First version.
basic-deps:
  base: ! '>=4.12 && <=5'
all-versions:
- 0.1.0.0
- 0.2.0.0
author: Eitan Chatav
latest: 0.2.0.0
description-type: markdown
description: |
  The free category on a quiver.

  ![quiver](quiver.gif)
license-name: BSD-3-Clause

Update from Hackage at 2020-03-17T23:47:26Z
Update from Hackage at 2020-03-17T23:47:26Z
