Versions Compared

Old Version 120

changes.mady.by.user Anonymous

Saved on

compared with

New Version Current

changes.mady.by.user Anonymous

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Chapter 16
Yoneda Embedding

April 24, 2023
May 22, 2023

Presenter

Yoneda Embedding

Jens - May 22

The Embedding

Jens - May 22

Application to Haskell

Casey - May 22

Preorder Example

Casey - May 22

Naturality

Casey

Chapter 15
The Yoneda Lemma

February 27, 2023
March 13, 2023
April 10, 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

...