Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: learning: questions

Topic: infinity kan extensions

view this post on Zulip Emilio Minichiello (Mar 05 2021 at 13:07):

Does anybody know of a proof that pointwise Kan extensions as defined by Riehl and Verity are equivalent to Lurie's definition?

view this post on Zulip John Baez (Mar 14 2021 at 00:52):

Apparently not.

view this post on Zulip Mike Shulman (Mar 14 2021 at 02:52):

You could try MathOverflow.