Notation for spans

Last updated Apr 14, 2025

• category with finite limits
• generalized element

References

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

Tags: Finite limit, Span, Type theory