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.
Paolo Perrone (Jun 16 2020 at 14:01):Hi all! This is the discussion thread for Emily's tutorial, "The Yoneda lemma in the category of matrices".
Paolo Perrone (Jun 16 2020 at 14:02):Abstract:
The fundamental theorem of category theory is indisputably the Yoneda lemma, though on first acquaintance its statement is forbiddingly obscure. This talk will introduce the Yoneda lemma by describing its implications in the category whose objects are natural numbers and in which a morphism from n to m is an m x n matrix.
Paolo Perrone (Jul 02 2020 at 02:46):When and where: Sunday July 5, 18:00 UTC (2 pm EDT)
Zoom meeting: https://mit.zoom.us/j/7055345747
See also the main website.
Paolo Perrone (Jul 05 2020 at 17:30):Hello all! We start in 30 minutes.
Paolo Perrone (Jul 05 2020 at 17:58):Slides are available here: www.math.jhu.edu/~eriehl/matrices.pdf
Deepak Vaid (Jul 05 2020 at 19:39):Link to Emily's book: http://www.math.jhu.edu/~eriehl/context.pdf
Paolo Perrone (Jul 06 2020 at 08:40):Hello all! Here's the video.
https://www.youtube.com/watch?v=SsgEvrDFJsM&list=PLCOXjXDLt3pYPE63bVbsVfA41_wa3sZOh
Subu Chitti (Jul 07 2020 at 03:16):I'm struggling to understand what is the category on the right hand side of the functor from MAT -> Set - as in what are the objects and morphisms of this category. Are the objects the set of all matrices with k columns?
Eduardo Ochs (Jul 17 2020 at 01:40):Hi all, especially @Subu Chitti...
Here is a diagram with all the main entities that appear in the presentation... hope it helps!
riehl-yoneda-for-matrices.png
Eduardo Ochs (Jul 17 2020 at 01:41):It follows the conventions described here:
http://angg.twu.net/math-b.html#favorite-conventions