| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-08-15 | Add monoidal structure to system functor | Jacques Comeaux |
| 2026-08-04 | Construct monoidal merge functor | Jacques Comeaux |
| 2026-08-03 | Show category of maps is monoidal | Jacques Comeaux |
| 2026-08-01 | Upgrade Push + Pull to symmetric monoidal functors | Jacques Comeaux |
| 2026-07-31 | Add braiding to wiring diagram monoidal structure | Jacques Comeaux |
| 2026-07-30 | Show category of directed wiring diagrams is monoidal | Jacques Comeaux |
