Related papers: Bousfield localisation and colocalisation of one-d…
We describe new explicit examples of moduli spaces of Bridgeland semistable objects on surfaces, parametrizing objects whose numerical class agrees with the class of a point. This follows ideas of Tramel and Xia, using stability conditions…
We introduce a theory for encoding and manipulating algebraic data on categories via $\textit{concentration structures}$, which are equivalence relations on morphisms that satisfy certain axioms. For any category with a concentration…
We establish a purely geometric form of the concentration theorem (also called localization theorem) for actions of a linearly reductive group $G$ on an affine scheme $X$ over an affine base scheme $S$. It asserts the existence of a…
We construct examples of abelian categories with no non-zero injective (or projective) objects satisfying Grothendieck's AB5 condition. The procedure combines Rickard's examples of AB5 categories without products but some non-trivial…
This work deals with the presence of localized structures in relativistic systems described by two real scalar fields in two-dimensional spacetime. We consider the usual two-field model with the inclusion of the cuscuton term, which couples…
We show that silting modules are closely related with localisations of rings. More precisely, every partial silting module gives rise to a localisation at a set of maps between countably generated projective modules and, conversely, every…
We set up a fibred categorical theory of obstruction and classification of morphisms that specializes to the one of monoidal functors between categorical groups and also to the Schreier-Mac Lane theory of group extensions. Further…
We develop the Scott model of the programming language PCF in univalent type theory. Moreover, we work constructively and predicatively. To account for the non-termination in PCF, we use the lifting monad (also known as the partial map…
We classify the Boolean degree $1$ functions of $k$-spaces in a vector space of dimension $n$ (also known as Cameron-Liebler classes) over the field with $q$ elements for $n \geq n_0(k, q)$. This also implies that two-intersecting sets with…
A Quillen model structure is presented by an interacting pair of weak factorization systems. We prove that in the world of locally presentable categories, any weak factorization system with accessible functorial factorizations can be lifted…
We show that bosonization in two dimensions can be derived as a special case of the duality transformations that have recently been used to good effect in string theory. This allows the construction of the bosonic counterpart of any…
The Hom closed colocalising subcategories of the stable module category of a finite group scheme are classified. This complements the classification of the tensor closed localising subcategories in our previous work. Both classifications…
The aim of this paper is to develop a framework for localization theory of triangulated categories $\mathcal{C}$, that is, from a given extension-closed subcategory $\mathcal{N}$ of $\mathcal{C}$, we construct a natural extriangulated…
This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…
In this paper, we construct recollements and ladders for Brieskorn-Pham singularities via reduction/insertion functors, and study the singularity categories of the Brieskorn-Pham singularities using these ladders. In particular, we…
We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…
A common technique for producing a new model category structure is to lift the fibrations and weak equivalences of an existing model structure along a right adjoint. Formally dual but technically much harder is to lift the cofibrations and…
We characterize the class of homotopy pull-back squares by means of elementary closure properties. The so called Puppe theorem which identifies the homotopy fiber of certain maps constructed as homotopy colimits is a straightforward…
Established methods for structural elicitation typically rely on code modelling standard graphical models classes, most often Bayesian networks. However, more appropriate models may arise from asking the expert questions in common language…
To a Lie groupoid over a compact base, the associated group of bisection is an (infinite-dimensional) Lie group. Moreover, under certain circumstances one can reconstruct the Lie groupoid from its Lie group of bisections. In the present…