6 citations · 16 across the 19 of their papers we have counts for
4 papers · 1 filter
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…
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)_…
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…
Parsummable categories as a strictification of symmetric monoidal categories
Tobias Lenz
We prove that the homotopy theory of parsummable categories (as defined by Schwede) with respect to the underlying equivalences of categories is equivalent to the usual homotopy th…