Louis Martini
Louis Martini
Home
Publications
Talks
Contact
Light
Dark
Automatic
article
Proper morphisms of infinity-topoi
We characterise proper morphisms of infinity-topoi in terms of a relativised notion of compactness. We show that a geometric morphism …
Louis Martini
,
Sebastian Wolf
PDF
Cite
Internal higher topos theory
We develop the theory of topoi internal to an arbitrary infinity-topos B. We provide several characterisations of these, including an …
Louis Martini
,
Sebastian Wolf
PDF
Cite
Presentable categories internal to an infinity-topos
We develop the theory of presentable categories internal to an infinity-topos B. We provide several characterisations of these, …
Louis Martini
,
Sebastian Wolf
PDF
Cite
Cocartesian fibrations and straightening internal to an infinity-topos
We define and study cartesian and cocartesian fibrations between categories internal to an infinity-topos and prove a straightening …
Louis Martini
PDF
Cite
Limits and colimits in internal higher category theory
We develop a number of basic concepts in the theory of categories internal to an infinity-topos. We discuss adjunctions, limits and …
Louis Martini
,
Sebastian Wolf
PDF
Cite
Yoneda's lemma for internal higher categories
We develop some basic concepts in the theory of higher categories internal to an arbitrary infinity-topos. We define internal left and …
Louis Martini
PDF
Cite
Cite
×