@hackage squares0.1.1

The double category of Hask functors and profunctors

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
sjoerd@w3future.com
Links
Versions
- 0.2.1 Sat, 15 Jul 2023
- 0.2 Sat, 8 Jul 2023
- 0.1.1 Wed, 27 May 2020
- 0.1 Tue, 26 May 2020
- 0.0.1 Sat, 23 May 2020
- 0 Fri, 22 May 2020

Installation
In your cabal file:
Dependencies (6)
- base >=4.9 && <5
- adjunctions >=4 && <5
- bifunctors >=5 && <6
- comonad >=5 && <6
- distributive >=0.6 && <0.7
- profunctors >=5 && <6
Dependents (0)

A library for working with natural transformations of type

forall a b. p a b -> q (f a) (g b)

See the Data.Square module for an introduction.