Just Yoneda Lemma. In fact it feels like the theory just restates Yoneda Lemma over and over in different ways.
And the number of things you can prove using Yoneda lemma just proves how powerful category theory is.
How is this useful?
And the number of things you can prove using Yoneda lemma just proves how powerful category theory is.