proarrow

This repository holds two Haskell packages:

• proarrow — category theory with a central role for profunctors.
• proarrow-equipment — bicategories and proarrow equipments, built on top of proarrow.

See proarrow/README.md for the core ideas behind the library. The wiki has worked examples and illustrated guides to monoidal terms, sessions, optics, and tensor networks. Start with Einsum and hypergraph categories for a tour from matrix operations to string diagrams and tensor contraction.

For executable examples, follow a clocked digital circuit from gates to simulation and Verilog, or turn a build pipeline into a parallel schedule with diagrams and a measured execution timeline.