https://github.com/andreasabel/applicative

Haskell's applicative functors are multi-category functors
https://github.com/andreasabel/applicative

applicative-functors equational-reasoning haskell multi-functor

Last synced: 5 months ago
JSON representation

Haskell's applicative functors are multi-category functors

• Host: GitHub
• URL: https://github.com/andreasabel/applicative
• Owner: andreasabel
• Created: 2024-01-25T13:33:38.000Z (about 2 years ago)
• Default Branch: master
• Last Pushed: 2024-01-27T13:29:20.000Z (about 2 years ago)
• Last Synced: 2025-07-30T05:49:48.354Z (6 months ago)
• Topics: applicative-functors, equational-reasoning, haskell, multi-functor
• Language: TeX
• Homepage: https://andreasabel.github.io/applicative/
• Size: 18.6 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Equivalence of Applicative Functors and Multifunctors

This note spells out the equivalence of Haskell's `Applicative` functors (lax monoidal functors) with multi-functors (Haskell's `liftA` function family, functors in multi-categories).

That is, the somewhat Baroque equations for `pure` and `<*>` can be replaced by a uniform equation scheme for the `liftA` family.

See the [PDF](https://andreasabel.github.io/applicative/).