...
Discord channel: #category-theory
Discord server: https://bit.ly/35RhGXM
Meetup: https://www.meetup.com/the-south-padre-island-reading-group/events/292969118/
Zoom: https://us02web.zoom.us/j/84281187589
...
Chapter 16 April 24, 2023 | Presenter |
|---|---|
Yoneda Embedding | Jens - May 822 |
The Embedding | Jens - May 822 |
Application to Haskell | Casey - May 822 |
Preorder Example | Casey - May 822 |
Naturality |
Chapter 15 February 27, 2023 | Presenter |
|---|---|
Introduction (pp 231-234) | Casey - Feb 27 |
Introduction (pp 235-240) | Casey - Mar 13 |
Introduction (p 240) | Casey - April 10 |
Yoneda in Haskell | Jens - April 10 |
Example from Emily Riehl’s book - 2.21 | Weining |
Co-Yoneda | Casey - April 10 |
...