Related papers: A descent criterion for equivalences between equiv…
An approach to the equivalence problem of vector valued maps is offered which, in particular, covers the equivalence problem of paths and patches of differential geometry with respect to different motion groups. In the last case, in…
Let X be a quasi-compact and quasi-separated (not necessarily semiseparated) scheme. The category QcoX of all quasi-coherent sheaves of OX-modules has several diferent pure derived categories. Recently, categorical pure derived categories…
We complete the derived equivalence classification of all symmetric algebras of polynomial growth, by solving the subtle problem of distinguishing the standard and nonstandard nondomestic symmetric algebras of polynomial growth up to…
We consider the internalization of the usual notion of principal bundle in a site that has all pullbacks and a terminal object. We use this notion to consider the explicit construction of quotient prestacks via presheaves of categories of…
We clarify the notion of effective equivalence and characterize geometrically the effectively equivalent permutation groups. In particular, we present examples showing that the latter do not correspond to affinely equivalent polytopes…
We formulate a connection between a topological and a geometric category. The former is the idempotent completion of the (horizontal) trace of the affine Hecke category, while the latter is the equivariant derived category of the…
If an element of the Grothendieck group of the derived category of a scheme is locally represented by perfect complexes, then can the original element be represented by a perfect complex? We provide a counterexample on a projective variety…
In this monograph we provide an in-depth and systematic study of pseudolimits of pseudofunctors $F:\mathscr{C}^{op} \to \mathfrak{Cat}$ in the $2$-category of categories where $\mathscr{C}$ is a $1$-category and use this to give an explicit…
In this paper we prove first a general theorem on semiorthogonal decompositions in derived categories of coherent sheaves for flat families over a smooth base. Based on the results of math.AG/0510670, we then show that the derived…
In this short note we show that under very mild conditions on a functor between exact categories $F:\mathcal{D}\rightarrow\mathcal{E}$ it is possible to derive $F$ at the level of unbounded complexes. We also give applications to deriving…
We discuss how point transformations can be used for the study of integrability, in particular, for deriving classes of integrable variable-coefficient differential equations. The procedure of finding the equivalence groupoid of a class of…
In this brief postscript to our paper "Integral transforms and Drinfeld centers in derived algebraic geometry", we describe a Morita equivalence for derived, categorified matrix algebras implied by theory developed since its appearance. We…
This paper presents a unified framework for determining the congruences on a number of monoids and categories of transformations, diagrams, matrices and braids, and on all their ideals. The key theoretical advances present an iterative…
We mainly investigate abelian quotients of the categories of short exact sequences. The natural framework to consider the question is via identifying quotients of morphism categories as modules categories. These ideas not only can be used…
We describe efficient algorithms to search for cases in which binomial coefficients are equal or almost equal, give a conjecturally complete list of all cases where two binomial coefficients differ by 1, and give some identities for…
Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced areas of computer science such as automata theory, functional…
In this article, the standard correspondence between the ideal class group of a quadratic number field and the equivalence classes of binary quadratic forms of given discriminant is generalized to any base number field of narrow class…
We introduce an equivariant version of contextuality with respect to a symmetry group, which comes with natural applications to quantum theory. In the equivariant setting, we construct cohomology classes that can detect contextuality. This…
We extend the notion of exact completion on a weakly lex category to elementary doctrines. We show how any such doctrine admits an elementary quotient completion, which freely adds effective quotients and extensional equality. We note that…
We introduce the notion of groupoid pre-equivalences and prove that they give rise to groupoid equivalences by taking certain quotients. Then, given an equivalence of Fell bundles $\mathscr{B}$ and $\mathscr{C}$ and another equivalence…