As is usually the case in category theory, I think I ended up reproving the Yoneda lemma because I wasn't paying attention
re: School stuff
"Whew, that exercise took a while. Now let's... wait, wasn't that just Yoneda"
*narrator voice* It was, in fact, just Yoneda
Emil Socks' personal instance!