Sil Linskens

activity

20242026

collaborators

Showing math.CTShow all

3 papers · 1 filter

math.CT2026

Free algebras via monoidal envelopes

Max Blans, Sil Linskens

For any morphism of $\infty$ -operads $P \to O$ , we show that the free $O$ -algebra on a $P$ -algebra admits an explicit formula as the colimit…

math.CT2026

Universality of span 2-categories and the construction of 6-functor formalisms

Bastiaan Cnossen, Tobias Lenz, Sil Linskens

Given an $\infty$ -category $C$ equipped with suitable wide subcategories $I, P \subset E \subset C$ , we show that the $(\infty, 2)$ -category $\text{S}{\scriptstyle\text{PAN}}_2(C,E)_…

math.CT2025

Homotopical commutative rings and bispans

Bastiaan Cnossen, Rune Haugseng, Tobias Lenz +1

We prove that commutative semirings in a cartesian closed presentable $\infty$ -category, as defined by Groth, Gepner, and Nikolaus, are equivalent to product-preserving functors fr…