A Survey of Graphical Languages for Monoidal Categories

Selinger, P. (2011). A Survey of Graphical Languages for Monoidal Categories. Springer.

Type

Book

Intellectual base

Review or monograph

Year

2011

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Traced monoidal category
  • … trace family and typed domain, naturality in input and output, dinaturality in feedback object, vanishing, superposing and yanking equations, diagram convention and examples are explicit. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, dataset, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:aa75c71ad4dd · see in the full table