1 citations · 3 across the 8 of their papers we have counts for
Showing 2021 · math.CTShow all
2 papers · 2 filters
math.CT2021★ 1 cited
Colimits and cocompletions in internal higher category theory
Louis Martini, Sebastian Wolf
We develop a number of basic concepts in the theory of categories internal to an -topos. We discuss adjunctions, limits and colimits as well as Kan extensions for internal…
math.CT2021
Yoneda's lemma for internal higher categories
Louis Martini
We develop some basic concepts in the theory of higher categories internal to an arbitrary -topos. We define internal left and right fibrations and prove a version of the G…