3 citations · 10 across the 24 of their papers we have counts for
Showing 2022 · math.CTShow all
2 papers · 2 filters
math.CT2022
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…
math.CT2022
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…