Related papers: Cubical Resolutions and Derived Functors
We show that various derived categories of torsion modules and contramodules over the adic completion of a commutative ring by a weakly proregular ideal are full subcategories of the related derived categories of modules. By the work of…
What are the fiber functors on small additive monoidal categories C which are not abelian? We give an answer which leads to a new Tannaka duality theorem for bialgebroids generalizing earlier results by Phung Ho Hai. The construction…
The question of when the derived category of a ring satisfies Brown--Adams representability is revisited via studying the transfer of pure homological dimension along definable functors: it is shown that, for any ring, the pure global…
We investigate notions of support and cosupport for differential graded (DG) modules over DG algebras. We apply these notions to identify certain classes of derived functors that are able to detect triviality and isomorphisms in derived…
Exact categories are a natural generalisation of abelian categories and provide a fertile ground to develop relative homological algebra. In this paper, starting from a class of relative Gorenstein projective objects in an exact category…
The notion of relative derived category with respect to a subcategory is introduced. A triangle-equivalence, which extends a theorem of Gao and Zhang [Gorenstein derived categories, \emph{J. Algebra} \textbf{323} (2010) 2041-2057] to the…
Following the approach of Budzy\'nski and Kondracki, we define covariant differential algebras and connections on locally trivial quantum principal fibre bundles. We also consider covariant derivatives, connection forms and curvatures and…
It is well-known that pseudo functors from bicategories of spans are equivalent to Beck-Chevalley bifibrations, and therefore capture the relationships underlying the adjunctions suitable as semantics for existential quantification. This…
We present the concept of cotorsion pairs cut along subcategories of an abelian category. This provides a generalization of complete cotorsion pairs, and represents a general framework to find approximations restricted to certain…
In this article, a new construction of derived equivalences is given. It relates different endomorphism rings and more generally cohomological endomorphism rings - including higher extensions - of objects in triangulated categories. These…
We introduce a relative tilting theory in abelian categories and show that this work offers a unified framework of different previous notions of tilting, ranging from Auslander-Solberg relative tilting modules on Artin algebras to…
A second-order differential (q-difference) eigenvalue equation is constructed whose solutions are generating functions of the dual (q-)Hahn polynomials. The fact is noticed that these generating functions are reduced to the (little…
We systematically develop the theory of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range…
For a locally presentable abelian category $\mathsf B$ with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy…
For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors…
We give a differentially closed description of the uniformizing representation to the analytical apparatus on Riemann surfaces and orbifolds of finite analytic type. Apart from well-known automorphic functions and Abelian differentials it…
In this article we discuss local aspects of 2-functors defined on the path 2-groupoid of a smooth manifold; in particular, local trivializations and descent data. This is a contribution to a project that provides an axiomatic formulation of…
We establish relations between Gorenstein projective precovers linked by Frobenius functors. This is motivated by an open problem that how to find general classes of rings for which modules have Gorenstein projective precovers. It is shown…
We propose a new cubical type theory, termed (self-deprecatingly) the naive cubical type theory, and study its semantics using the universe category framework, which is similar to Uemura's categories with representable morphisms. In…
The subalgebra of diagonal elements of a quantum matrix group has been conjectured by Daniel Krob and Jean-Yves Thibon to be isomorphic to a cubic algebra, coined the quantum pseudo-plactic algebra. We present a functorial approach to the…