2021-03-25

00:08

What is a Kan extension? #todo

  • Kan extensions:

    attachments/image_2021-03-25-00-08-55.png

00:09

#quick_notes #todo