School stuff Show more
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 Show more
"Whew, that exercise took a while. Now let's... wait, wasn't that just Yoneda"*scrolls up**narrator voice* It was, in fact, just Yoneda
Emil Socks' personal instance!