Bastiaan Cnossen

collaborators

3 papers

math.CT2025

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

A short proof of the universality of the relative Rezk nerve

Kensuke Arakawa, Bastiaan Cnossen

We give a concise, conceptual proof of the universality of the relative Rezk nerve, due to Mazel-Gee.

math.AT2025

Universality of Barwick's unfurling construction

Bastiaan Cnossen, Tobias Lenz, Maxime Ramzi

Given an $\infty$ -category $C$ with pullbacks, its $(\infty, 2)$ -category $Span (C)$ of spans has the universal property of freely adding right adjoints…