nLab Louis Martini

• institute page

Selected writings

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

internal (∞,1)-Yoneda lemma:

• Louis Martini, Yoneda’s lemma for internal higher categories, [arXiv:2103.17141]

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

• Louis Martini, Sebastian Wolf, Limits and colimits in internal higher category theory [arXiv:2111.14495]

internal cocartesian fibrations and straightening functor:

• Louis Martini, Cocartesian fibrations and straightening internal to an ∞-topos [arXiv:2204.00295]

internal presentable (∞,1)-categories:

• Louis Martini, Sebastian Wolf, Presentable categories internal to an ∞-topos [arXiv:2209.05103]

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

• Louis Martini, Sebastian Wolf, Internal higher topos theory [arXiv:2303.06437]

category: people