---
title: "The Geometry of Tensor Calculus, I"
authors:
  - "André Joyal"
  - "Ross Street"
year: 1991
venue: "Advances in Mathematics"
arxiv: null
doi: "10.1016/0001-8708(91)90003-P"
source: "https://doi.org/10.1016/0001-8708(91)90003-P"
topics:
  - "string-diagrams"
  - "monoidal-categories"
  - "tensor-calculus"
seed_rank: 948
seed_batch: "user-add-2026-08-13"
reviewed: "2026-08-13"
pool: "maths-foundations"
relevance_score: 9
lineage: categorical-deep-learning
cites:
  - title: "A Survey of Graphical Languages for Monoidal Categories"
    url: "https://arxiv.org/abs/0908.3347"
    year: 2010
    arxiv: "0908.3347"
    doi: "10.1007/978-3-642-12821-9_4"
see:
  - "117-a-survey-of-graphical-languages-for-monoidal-categories"
---

# The Geometry of Tensor Calculus, I

## One-sentence takeaway

The paper that makes string diagrams a theorem: graphical tensor calculus is the geometry of monoidal categories.

## Why it matters here

Root of Selinger's survey and of every NCD/Weaves wire. If ano ever grows a string-diagram surface, this is the math that says the picture is the morphism.

## Key ideas

- *Advances in Mathematics* 88(1):55–112, 1991. DOI `10.1016/0001-8708(91)90003-P`.
- Progressive graphs / planar diagrams as a formal language for monoidal calculation.
- Selinger 2010 (card 117) is the survey that points here; Weaves inherits the wires.
- Classic CT; no ML. Cited as diagrammatic foundation, not as an architecture paper.

## Caveats

## Links

- DOI: [10.1016/0001-8708(91)90003-P](https://doi.org/10.1016/0001-8708(91)90003-P)