Related papers: Note on a theorem of Bousfield and Friedlander
This thesis concerns embeddings and self-embeddings of foundational structures in both set theory and category theory. The first part of the work on models of set theory consists in establishing a refined version of Friedman's theorem on…
We construct combinatorial model category structures on the categories of (marked) categories and (marked) pre-additive categories, and we characterize (marked) additive categories as fibrant objects in a Bousfield localization of…
We outline the theory of reflections for prederivators, derivators and stable derivators. In order to parallel the classical theory valid for categories, we outline how reflections can be equivalently described as categories of fractions,…
The strong factorization conjecture states that a proper birational map between smooth algebraic varieties over a field of characteristic zero can be factored as a sequence of smooth blowups followed by a sequence of smooth blowdowns. We…
We study the composition of Bousfield localizations on a tensor triangulated category stratified via the Balmer-Favi support and with noetherian Balmer spectrum. Our aim is to provide reductions via purely axiomatic arguments, allowing us…
We study different types of localisations of a commutative noetherian ring. More precisely, we provide criteria to decide: (a) if a given flat ring epimorphism is a universal localisation in the sense of Cohn and Schofield; and (b) when…
In this paper, we investigate diagrams, namely functors from any small category to a fixed category, and more particularly, their bisimilarity. Initially defined using the theory of open maps of Joyal et al., we prove several equivalent…
We prove a generalization of the fundamental theorem of algebraic K-theory for Verdier-localizing functors by extending the proof for algebraic K-theory of spaces to the realm of stable $\infty$-categories. The formula behaves much better…
We show that the category of finite-dimensional modules over the endomorphism algebra of a rigid object in a Hom-finite triangulated category is equivalent to the Gabriel-Zisman localisation of the category with respect to a certain class…
We study matrix factorizations of locally free coherent sheaves on a scheme. For a scheme that is projective over an affine scheme, we show that homomorphisms in the homotopy category of matrix factorizations may be computed as the…
In this work, we prove a generalization of Quillen's Theorem A to 2-categories equipped with a special set of morphisms which we think of as weak equivalences, providing sufficient conditions for a 2-functor to induce an equivalence on…
We prove some analogues of Schur's lemma for endomorphisms of extensions in Tannakian categories. More precisely, let $\mathbf{T}$ be a neutral Tannakian category over a field of characteristic zero. Let $E$ be an extension of $A$ by $B$ in…
From the work of Bauer and Lesnick, it is known that there is no functor from the category of pointwise finite-dimensional persistence modules to the category of barcodes and overlap matchings. In this work, we introduce sub-barcodes and…
We show that the class of inductively factored arrangements is closed under taking localizations. We illustrate the usefulness of this with an application.
We propose a new homotopy invariant for Lie groupoids which generalizes the classical Lusternik-Schnirelmann category for topological spaces. We use a bicategorical approach to develop a notion of contraction in this context. We propose a…
We present a general theorem which computes the cohomology of a homological vector field on global sections of vector bundles over smooth affine supervarieties. The hypotheses and results have the clear flavor of a localization theorem.
In this paper we introduce a description of ordered groupoids as a particular type of double categories. This enables us to turn Lawson's correspondence between ordered groupoids and left-cancellative categories into a biequivalence. We use…
In this article we introduce the notion of a square structure on a model category, that generalises cubical model categories. We then show that under some homotopical conditions on this square structure the induced cubical category is a…
Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we…
We introduce a notion of proper morphism for schematic finite spaces and prove the analogue of Grothendieck's finiteness theorem for it by means of the classic result for schemes and general descent arguments. This result also generalizes…