Bastiaan Cnossen

activity

20222026

most citedCharacters and transfer maps via categorified traces

2 citations · 4 across the 12 of their papers we have counts for

collaborators

Showing math.CTShow all

4 papers · 1 filter

math.CT2026

Hammock localization via Segal animae

Kensuke Arakawa, Bastiaan Cnossen

We give a short, conceptual account of Dwyer--Kan's hammock localization in the setting of $\infty$ -categories. Starting from Mazel-Gee's formula for localization via the relative…

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.CT2024

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…