Notation for spans

Last updated Sep 8, 2023

Tags: Finite limit, Span, Type theory References

• Doing Without Diagrams (Leinster, 2018)
• Notation for spans, graphically