nLab Louis Martini

Selected writings

Selected writings

Development of \infty -category theory internal to any (∞,1)-topos:

internal (∞,1)-Yoneda lemma:

internal (infinity,1)-limits and (infinity,1)-colimits:

internal cocartesian fibrations and straightening functor:

internal presentable (∞,1)-categories:

category: people

Created on November 15, 2022 at 09:37:55. See the history of this page for a list of all contributions to it.