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:

and \infty -toposes internal to \infty -toposes:

On proper geometric morphisms between ( , 1 ) (\infty,1) -toposes:

category: people

Last revised on November 15, 2023 at 09:47:48. See the history of this page for a list of all contributions to it.