Notation for spansLast updated Sep 8, 2023Tags: Finite limit, Span, Type theory ReferencesDoing Without Diagrams (Leinster, 2018)Notation for spans, graphically