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.
Andrius Kulikauskas (Jun 28 2023 at 03:10):I share with you the text, slides and video of my presentation "The Yoneda Embedding Expresses Whether, What, How, Why" https://www.math4wisdom.com/wiki/Research/YonedaEmbeddingFoursome I explain how the Yoneda Embedding structures four ways of looking at an arrow f:X->Y, namely, whether is f, what is f, how is f, why is f. For me, this is evidence of a deeper language of cognitive frameworks. I am curious who might be interested in such thinking. I will be attending the Applied Category Theory conference in Maryland.