Notation for spans

Last updated Apr 23, 2024

Tags: Finite limit, Span, Type theory References

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