5 citations · 12 across the 22 of their papers we have counts for
5 papers · 1 filter
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…
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…
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…
From nonabelian basechange to basechange with coefficients
Peter J. Haine
The goal of this paper is to explain when basechange theorems for sheaves of spaces imply basechange for sheaves with coefficients in other presentable -categories. We acco…
Lifting Enhanced Factorization Systems to Functor -Categories
Peter J. Haine
In this paper we give sufficient conditions for lifting an enhanced factorization system on a -category to the functor -cate…