Publications

Louis Martini, Sebastian Wolf (2023). Proper morphisms of infinity-topoi. ArXiv preprint.

Louis Martini, Sebastian Wolf (2023). Internal higher topos theory. ArXiv preprint.

Louis Martini, Sebastian Wolf (2022). Presentable categories internal to an infinity-topos. ArXiv preprint.

Louis Martini (2022). Cocartesian fibrations and straightening internal to an infinity-topos. ArXiv preprint.

Louis Martini, Sebastian Wolf (2021). Limits and colimits in internal higher category theory. ArXiv preprint.

Louis Martini (2021). Yoneda's lemma for internal higher categories. ArXiv preprint.