Diagrams in the category theory sense. https://en.wikipedia.org/wiki/Diagram_(category_theory) https://en.wikipedia.org/wiki/Diagram_(category_theory) And for

Diagrams in the category theory sense. https://en.wikipedia.org/wiki/Diagram_(category_theory) https://en.wikipedia.org/wiki/Diagram_(category_theory) And for some context, a brief talk by Michael Shulman. https://www.youtube.com/watch?v=zUPBEQe4Ti8 https://www.youtube.com/watch?v=zUPBEQe4Ti8