You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
fosco (Jan 26 2021 at 16:42):So, there's this guy who purchased some space on a cargo that goes to the Moon.
https://www.reddit.com/r/space/comments/l52iym/you_can_send_something_to_the_moon_for_free_im/
I have promptly sent them a png with the Yoneda lemma; if you're interested to contribute to this over-9000-nerd-awesome-project, you can DM u/Valphon: act fast, and category theory will colonise our satellite!
Eduardo Ochs (Jan 27 2021 at 02:34):fosco said:
So, there's this guy who purchased some space on a cargo that goes to the Moon.
https://www.reddit.com/r/space/comments/l52iym/you_can_send_something_to_the_moon_for_free_im/I have promptly sent them a png with the Yoneda lemma; if you're interested to contribute to this over-9000-nerd-awesome-project, you can DM u/Valphon: act fast, and category theory will colonise our satellite!
Can you share your png of Yoneda here? I couldn't find it in the comments...