English
Related papers

Related papers: Does full imply faithful?

200 papers

We introduce the notions of proto-complete, complete, complete* and strong-complete objects in pointed categories. We show under mild conditions on a pointed exact protomodular category that every proto-complete (respectively complete)…

Category Theory · Mathematics 2021-02-22 James Richard Andrew Gray

We initiate the study of derived functors in the setting of extriangulated categories. By using coends, we adapt Yoneda's theory of higher extensions to this framework. We show that, when there are enough projectives or enough injectives,…

Category Theory · Mathematics 2021-03-24 Mikhail Gorsky , Hiroyuki Nakaoka , Yann Palu

We exhibit a canonical equivalence between the hermitian $K$-theory (alias Grothendieck-Witt) spectrum of an exact form category and that of its derived Poincar\'e $\infty$-category, with no assumptions on the invertibility of $2$. Along…

K-Theory and Homology · Mathematics 2024-11-15 Daniel Marlowe , Marco Schlichting

In this paper, we introduce the notion of an admissible partition of a simplicial polyhedral fan and define the category of a partitioned fan as a generalisation of the $\tau$-cluster morphism category of a finite-dimensional algebra. This…

Representation Theory · Mathematics 2025-02-26 Maximilian Kaipel

Given a suitable Noetherian scheme, we classify tensor $t$-structures on the bounded derived category of coherent sheaves and its variants with prescribed support. Furthermore, we show that the existence of such $t$-structures restricting…

Algebraic Geometry · Mathematics 2026-05-19 Alexander Clark , Pat Lank , Kabeer Manali-Rahul , Chris J. Parker

We study the transfer of (dual) relative CS-Rickart properties via functors between abelian categories. We consider fully faithful functors as well as adjoint pairs of functors. We give several applications to Grothendieck categories and,…

Category Theory · Mathematics 2021-04-09 Septimiu Crivei , Simona Maria Radu

This paper is the first part of a series that investigates the existence of $n$-exact structures on idempotent complete additive categories for positive integers $n$. It is shown that every idempotent complete additive category has a unique…

Category Theory · Mathematics 2024-10-08 Carlo Klapproth

We prove that the action of a generalized braid group on an enhanced triangulated categories, generated by spherical twist functors along an ADE-configuration of $\omega$-spherical objects, is faithful for any integer $\omega \neq 1$.

K-Theory and Homology · Mathematics 2020-11-06 Anya Nordskova , Yury Volkov

For a noetherian scheme that has an ample family of invertible sheaves, we prove that direct products in the category of quasi-coherent sheaves are not exact unless the scheme is affine. This result can especially be applied to all…

Category Theory · Mathematics 2020-06-23 Ryo Kanda

We show that factorization systems, both strict and orthogonal, can be equivalently described as double categories satisfying certain properties. This provides conceptual reasons for why the category of sets and partial maps or the category…

Category Theory · Mathematics 2023-06-13 Miloslav Štěpán

E. Bunch, P. Lofgren, A. Rapp and D. N. Yetter [J. Knot theory Ramifications (2010)] pointed out that by considering inner automorphism groups of quandles, one have a functor from the category of quandles with surjective homomorphisms to…

K-Theory and Homology · Mathematics 2023-01-31 Yasuki Tada

The theory of integral, or Fourier-Mukai, transforms between derived categories of sheaves is a well established tool in noncommutative algebraic geometry. General "representation theorems" identify all reasonable linear functors between…

Algebraic Geometry · Mathematics 2021-05-18 David Ben-Zvi , David Nadler , Anatoly Preygel

In this paper we consider a conilpotent coalgebra $C$ over a field $k$. Let $\Upsilon\colon C\textsf{-Comod}\longrightarrow C^*\textsf{-Mod}$ be the natural functor of inclusion of the category of $C$-comodules into the category of…

Rings and Algebras · Mathematics 2026-03-04 Leonid Positselski

We define model structures on exact categories which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly…

Algebraic Topology · Mathematics 2010-09-21 James Gillespie

We relate the theory of purity of a locally finitely presented category with products to the study of exact structures on the full subcategory of finitely presented objects. Properties in the context of purity are translated to properties…

Representation Theory · Mathematics 2026-02-16 Kevin Schlegel

We define the triangulated category of relative singularities of a closed subscheme in a scheme. When the closed subscheme is a Cartier divisor, we consider matrix factorizations of the related section of a line bundle, and their analogues…

Category Theory · Mathematics 2015-07-07 Alexander I. Efimov , Leonid Positselski

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived…

Algebraic Geometry · Mathematics 2009-02-19 Daniel Murfet , Shokrollah Salarian

In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free $R$-modules to finitely…

Commutative Algebra · Mathematics 2022-03-22 Arthur Bik , Alessandro Danelon , Jan Draisma

We give a simultaneous generalization of exact categories and triangulated categories, which is suitable for considering cotorsion pairs, and which we call extriangulated categories. Extension-closed, full subcategories of triangulated…

Category Theory · Mathematics 2019-04-29 Hiroyuki Nakaoka , Yann Palu

Given a 0-connective motivic spectrum $E \in SH(k)$ over a perfect field k, we determine $h_0$ of the associated motive $M E \in DM(k)$ in terms of $\pi_0 (E)$. Using this we show that if k has finite 2-\'etale cohomological dimension, then…

K-Theory and Homology · Mathematics 2018-07-18 Tom Bachmann