category with finite limits generalized element References Doing Without Diagrams (Leinster, 2018) Notation for spans, graphically Tags: Finite limit, Span, Type theory
