Showing math.CTShow all
3 papers · 1 filter
math.CT2026
Classifying anima of condensed -categories of points
Peter J. Haine
We compare the classifying anima of two natural condensed -categories associated to a coherent -topos. One from our work with Barwick and Glasman on exit-path categ…
math.CT2025
Standard -structures
Peter J. Haine, Mauro Porta, Jean-Baptiste Teyssier
We provide a general construction of induced -structures, that generalizes standard -structures for -categories of sheaves. More precisely, given a presentable $\inft…
math.CT2025
Fully faithful functors and pushouts of -categories
Peter J. Haine, Maxime Ramzi, Jan Steinebrunner
We study stability properties of fully faithful functors, and compute mapping anima in pushouts of -categories along fully faithful functors. We provide applications of the…