Yoneda Lemma
11
reputation
1
3
I'm new here, hoping to exchange learnings/knoweldge. I'm interested in Model Theory, Topos/Category Theory and Proof theory. I usually answer Godel-related questions