Zulip Chat Archive
Stream: maths
Topic: Kan extensions of functors
Johan Commelin (Aug 17 2020 at 05:52):
Has anybody worked on Kan extensions? @Bhavik Mehta @Scott Morrison ?
Scott Morrison (Aug 17 2020 at 05:59):
No.
Last updated: Dec 20 2023 at 11:08 UTC