timelets: (Default)
timelets ([personal profile] timelets) wrote2020-02-22 08:33 am
  • Add Memory
  • Share This Entry
Entry tags:

(no subject)

My goal for the spring is to understand Kan Extensions.
Flat | Top-Level Comments Only
juan_gandhi: (Default)

[personal profile] juan_gandhi 2020-02-22 05:06 pm (UTC)(link)
Thanks for the reminder. Have to continue improving this: https://en.wikipedia.org/wiki/Kan_extension
timelets: (Default)

[personal profile] timelets 2020-02-22 05:43 pm (UTC)(link)
Good stuff. Keep it up!
Flat | Top-Level Comments Only