Showing math.CTShow all
3 papers · 1 filter
math.CT2026
Universality of span 2-categories and the construction of 6-functor formalisms
Bastiaan Cnossen, Tobias Lenz, Sil Linskens
Given an -category equipped with suitable wide subcategories , we show that the -category $\text{S}{\scriptstyle\text{PAN}}_2(C,E)_…
math.CT2025
Revisiting -naturality of the Yoneda embedding
Tobias Lenz
We show that the Yoneda embedding 'is' -natural with respect to the functoriality of presheaves via left Kan extension, refining the -categorical result pro…
math.CT2025
Homotopical commutative rings and bispans
Bastiaan Cnossen, Rune Haugseng, Tobias Lenz +1
We prove that commutative semirings in a cartesian closed presentable -category, as defined by Groth, Gepner, and Nikolaus, are equivalent to product-preserving functors fr…