3 citations · 10 across the 24 of their papers we have counts for
7 papers · 1 filter
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…
Free rigid commutative algebras
Maxime Ramzi
We describe free rigid commutative algebras in -presentably symmetric monoidal -categories as oplax colimits over the -dimensional framed cobordism category. The…
Fully faithful functors and pushouts of -categories
Peter J. Haine, Maxime Ramzi, Jan Steinebrunner
We study stability properties of fully faithful functors, and compute mapping anima in pushouts of -categories along fully faithful functors. We provide applications of the…
Dualizable presentable -categories
Maxime Ramzi
We prove that for any presentably symmetric monoidal -category , the -category of d…
Locally rigid -categories
Maxime Ramzi
We develop the theory of locally rigid and rigid symmetric monoidal -categories over an arbitrary base . Among other th…
An elementary proof of the naturality of the Yoneda embedding
Maxime Ramzi
We give a short proof that the Yoneda embedding is natural for -categories, and further prove that the space of natural transformations that are, pointwise, the Yoneda embe…
A monoidal Grothendieck construction for -categories
Maxime Ramzi
We construct a monoidal version of Lurie's un/straightening equivalence. In more detail, for any symmetric monoidal -category , we endow the -category of…