@loopholekid @nosilverv @myceliummage @prerationalist @zrkrlc at some point it might be interesting to give an informal talk about the yoneda lemma and the way in which it allows you to formalize…

Posters: QiaochuYuan. QiaochuYuan

3 likes recorded by the source corpus.