Profunctor Equipment in Haskell
4 days ago
- #Profunctor
- #Haskell
- #Category Theory
- Provides a toy implementation of profunctor equipment in Haskell using the category of types and functions as the only 0-cell.
- Uses Functor for vertical 1-cells and Profunctor for horizontal 1-cells, with custom-defined 2-cells implemented as natural transformations.
- Implements horizontal and vertical composition of cells using constructs like Compose for functors and Procompose for profunctors.
- Defines unit cells such as Hunit and Vunit, along with companion (Costar) and conjoint (Star) structures, including their unit and counit cells.
- Acknowledges that more advanced constructions would require dependent types, and refers to external libraries like proarrows for further details.