In Universal Algebra, Category Theory, Abstract Algebra and Homological Algebra, "universal properties" and "commutative diagrams" are common place. Maybe an article about them (what are, how to use them, a bit of history, good examples) could be ok.
↧