Showing math.CTShow all
3 papers · 1 filter
math.CT2026
Cocompactness and Presentability
Thorger Geiß, Phil Pützstück, Maxime Ramzi
We give a short proof that -cocompact objects in a presentable category are subterminal. As our main result, we extend this to the setting of presentable -categories. A…
math.CT2026
Factorization Systems on -Categories: Un/Straightening and Monadicity
Thorger Geiß
We prove two structural results about factorization systems on -categories. Firstly, we classify factorization systems on the total spaces of a class of fibrations of $\inf…
math.CT2026
On Cofiltered Limits of -Categories and Adjunctions
Thorger Geiß
We prove that, under mild assumptions, the limit of a cofiltered diagram of -categories is a reflective (resp. coreflective) localization of its oplax (resp. lax) limit. Th…