local lemma Nakayama's lemma Poincaré's lemma Riesz's lemma Schur's lemma Schwarz's lemma Sperner's lemma Urysohn's lemma Vitali covering lemma Yoneda's lemma...

the product can be defined by splicing together two Yoneda extensions. Alternatively, the Yoneda product can be defined in terms of resolutions. (This...

bijections on S, and the semigroup operation given by composition. The Yoneda lemma provides a full and faithful limit-preserving embedding of any category...

term Yoneda lemma for a lemma which is an essential background to many central concepts of category theory and which was discovered by Nobuo Yoneda. Mac...

most popular axiomatic set theories, Zermelo–Fraenkel set theory (ZFC), von Neumann–Bernays–Gödel set theory (NBG), and Morse–Kelley set theory (MK)...

spaces (with measurable maps) is equivalent to the category of commutative Von Neumann algebras (with normal unital homomorphisms of *-algebras). Opposite...

Frucht's theorem, every finite group is the automorphism group of a graph Yoneda lemma, a generalization of Cayley's theorem in category theory Representation...

Yngve – authored first string processing language, COMIT Nobuo Yoneda – Yoneda lemma, Yoneda product, ALGOL, IFIP WG 2.1 member Matei Zaharia – created Apache...

product Hotz, Günter (1965). "Eine Algebraisierung des Syntheseproblems von Schaltkreisen I.". Elektronische Informationsverarbeitung und Kybernetik...

system is useful to prove for example that every category has an appropriate Yoneda embedding. This is a relatively weak large cardinal axiom since it amounts...