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: May 02 2025 at 03:31 UTC