[throw567643u8]

Just Yoneda Lemma. In fact it feels like the theory just restates Yoneda Lemma over and over in different ways.

[azan_]

And the number of things you can prove using Yoneda lemma just proves how powerful category theory is.

[trenchgun]

How is this useful?