generalized element

Last updated Apr 14, 2025

• category with finite limits
• Yoneda lemma

References

• Doing Without Diagrams (Leinster, 2018)