5 citations · 8 across the 18 of their papers we have counts for
5 papers · 1 filter
Free algebras via monoidal envelopes
Max Blans, Sil Linskens
For any morphism of -operads , we show that the free -algebra on a -algebra admits an explicit formula as the colimit…
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…
Two-variable fibrations, factorisation systems and -categories of spans
Rune Haugseng, Fabian Hebestreit, Sil Linskens +1
We prove a universal property for -categories of spans in the generality of Barwick's adequate triples, explicitly describe the cocartesian fibration corresponding to the s…
Lax monoidal adjunctions, two-variable fibrations and the calculus of mates
Rune Haugseng, Fabian Hebestreit, Sil Linskens +1
We provide a calculus of mates for functors to the -category of -categories and extend Lurie's unstraightening equivalences to show that (op)lax natural transformat…