External Publication
Visit Post

Sneak Peek: Bolt Math

Haskell Community [Unofficial] March 19, 2026
Source

I would not call a pairing an action in disguise. Actions happen between two objects –one acting on the another. Pairings work with three objects and they usually model some sort of duality. CS related examples show up in cryptography.

en.wikipedia.org

Pairing

In mathematics, a pairing is an R-bilinear map from the Cartesian product of two R-modules, where the underlying ring R is commutative. Let R be a commutative ring with unit, and let M, N and L be R-modules. A pairing is any R-bilinear map e : M × N → L {\displaystyle e:M\times N\to L} . That is, it satisfies for any r ∈ R {\displaystyle r\in R} ...

Discussion in the ATmosphere

Loading comments...