Ko Aoki

activity

20242026

collaborators

Showing math.CTShow all

3 papers · 1 filter

math.CT2025

Higher presentable categories and limits

Ko Aoki

Stefanich generalized the notion of (locally) presentable $(\infty, 1)$ -category to the notion of presentable $(\infty, n)$ -category. We give a new description based on the new not…

math.CT2025

Very Schwartz coidempotents and continuous spectrum

Ko Aoki

We introduce the continuous version of the (unstable) smashing spectrum functor. In the stable case, it assigns to each dualizably symmetric monoidal stable presentable $\infty$ -ca…

math.CT2024

The smashing spectrum of sheaves

Ko Aoki

For an arbitrary $\infty$ -topos, we classify the smashing localizations in the $\infty$ -category of sheaves valued in derived vector spaces: Any of them is the restriction functor…