Lawvere observed in his celebrated work on hyperdoctrines that the set-theoretic schema of comprehension can be elegantly expressed in the functorial language of categorical logic, as a comprehension structure on the functor $p:\mathscr{E}\to\mathscr{B}$ defining the hyperdoctrine.
In this paper, we formulate and study a strictly ordered hierarchy of three notions of comprehension structure on a given functor $p:\mathscr{E}\to\mathscr{B}$, which we call (i) comprehension structure, (ii) comprehension structure with section, and (iii) comprehension structure with image.
Our approach is 2-categorical and we thus formulate the three levels of comprehension structure on a general morphism $p:\mathrm{\mathbf{E}}\to\mathrm{\mathbf{B}}$ in a 2-category $\mathscr{K}$.
This conceptual point of view on comprehension structures enables us to revisit the work by Fumex, Ghani and Johann on the duality between comprehension structures and quotient structures on a given functor $p:\mathscr{E}\to\mathscr{B}$.
In particular, we show how to lift the comprehension and quotient structures on a functor $p:\mathscr{E}\to\mathscr{B}$ to the categories of algebras or coalgebras associated to functors $F_{\mathscr{E}}:\mathscr{E}\to\mathscr{E}$ and $F_{\mathscr{B}}:\mathscr{B}\to\mathscr{B}$ of interest, in order to interpret reasoning by induction and coinduction in the traditional language of categorical logic, formulated in an appropriate 2-categorical way.
We give a description of the Tripos To Topos construction in terms of four free constructions. We prove that these compose up to give a free construction from the category of triposes and logical morphisms to the category of toposes and logical functors. Then we show that other similar constructions, i.e. the one given by Frey in \cite{frey} and that of Carboni in \cite{carbons} are instances of this one.
We consider the ordinary category Span(C) of (isomorphism classes of) spans of morphisms in a category C with finite limits as needed, composed horizontally via pullback, and give a general criterion for a quotient of Span(C) to be an allegory. In particular, when C carries a pullback-stable, but not necessarily proper, (E, M)-factorization system, we establish a quotient category Span_E(C) that is isomorphic to the category Rel_M(C) of M-relations in C, and show that it is a (unitary and tabular) allegory precisely when M is a class of monomorphisms in C. Without this restriction, one can sti…
In this note, we define a recollement of additive categories, and prove that such a recollement can induce a recollement of their quotient categories. As an application, we get a recollement of quotient triangulated categories induced by mutation pairs.
We classify the "quotients" of a tannakian category in which the objects of a tannakian subcategory become trivial, and we examine the properties of such quotient categories.
The Verdier quotient $\mathcal{T}/\mathcal{S}$ of a triangulated category $\mathcal{T}$ by a triangulated subcategory $\mathcal{S}$ is defined by a universal property with respect to triangulated functors out of $\mathcal{T}$. However, $\mathcal{T}/\mathcal{S}$ is in fact a localization of $\mathcal{T}$, i.e., it is obtained from $\mathcal{T}$ by formally inverting a class of morphisms. We establish the analogous result for small stable quasi-categories. As an application, we explore the compatibility of Verdier quotients with symmetric monoidal structures. In particular, we record a few usefu…
Toy models have been used to separate important features of quantum computation from the rich background of the standard Hilbert space model. Category theory, on the other hand, is a general tool to separate components of mathematical structures, and analyze one layer at a time. It seems natural to combine the two approaches, and several authors have already pursued this idea. We explore *categorical comprehension construction* as a tool for adding features to toy models. We use it to comprehend quantum propositions and probabilities within the basic model of finite-dimensional Hilbert spaces.…
We classify certain subcategories in quotients of exact categories. In particular, we classify the triangulated and thick subcategories of an algebraic triangulated category, i.e. the stable category of a Frobenius category.
We define mutation pair in an n-angulated category and prove that given such a mutation pair, the corresponding quotient category carries a natural n-angulated structure. This result generalizes a theorem of Iyama-Yoshino in classical triangulated category. As an application, we obtain that the quotient category of a Frobenius n-angulated category is also an n-angulated category.
The purpose of this paper is to develop an efficient computational model for Abelian categories of coherent sheaves over certain classes of varieties. These categories are naturally described as Serre quotient categories. Hence, our approach relies on describing general Serre quotient categories in a constructive way which leads to an efficient computer implementation.
For a full subcategory B of a unital A_infinity-category C a quotient unital A_infinity-category `C/B' is defined. For differential graded categories such quotient is constructed by V.Drinfeld. Our construction is explicit and uses freely generated A_infinity-categories. The quotient D=`C/B' represents the A_infinity-2-functor A \mapsto A_\infty^u(C,A)_{modulo B}, which associates with a given unital A_infinity-category A the A_infinity-category of unital A_infinity-functors C -> A, whose restriction to B is contractible.
We prove that some subquotient categories of exact categories are abelian. This generalizes a result by Koenig-Zhu in the case of (algebraic) triangulated categories. As a particular case, if an exact category B with enough projectives and injectives has a cluster tilting subcategory M, then B/M is abelian. More precisely, it is equivalent to the category of finitely presented modules over the stable category of M.
Let C be a triangulated category with a Serre functor S and X a non-zero contravariantly finite rigid subcategory of C. Then X is cluster tilting if and only if the quotient category C/X is abelian and S(X)=X[2]. As an application, this result generalizes work by Beligiannis.
We study properties of a category after quotienting out a suitable chosen group of isomorphisms on each object. Coproducts in the original category are described in its quotient by our new weaker notion of a 'phased coproduct'. We examine these and show that any suitable category with them arises as such a quotient of a category with coproducts. Motivation comes from projective geometry, and also quantum theory where they describe superpositions in the category of Hilbert spaces and continuous linear maps up to global phase. The quotients we consider also generalise those induced by categorica…
Let $\mathcal{A}$ be a essentially small abelian category and $\mathcal{C}$ be a Serre subcategory of $\mathcal{A}$. Consider the quotient functor $q:\mathcal{A}\rightarrow \mathcal{A}/\mathcal{C}$. For an object $A\in \mathcal{A}$ and a non-negative integer $k$ we investigate when the natural map $q_{X,A}^i: \rm Ext^i_{\mathcal{A}}(X,A)\rightarrow Ext^i_{\mathcal{A}/\mathcal{C}}(q(X),q(A))$ is invertible for every $X\in \mathcal{A}$ and every $i\in\{0,1,\cdots,k\}$. In the end we give an application of the main theorem.
We study abelian envelopes for pseudo-tensor categories with the property that every object in the envelope is a quotient of an object in the pseudo-tensor category. We establish an intrinsic criterion on pseudo-tensor categories for the existence of an abelian envelope satisfying this quotient property. This allows us to interpret the extension of scalars and Deligne tensor product of tensor categories as abelian envelopes, and to enlarge the class of tensor categories for which all extensions of scalars and tensor products are known to remain tensor categories. For an affine group scheme G, …
We examine various triangulated quotients of the module category of a finite group. We demonstrate that these are not compactly generated by the simple modules and present a modification of Rickard's Idempotent Module construction that accounts for this. When the localizing subcategories are sufficiently nice we give an explicit description of the objects in the Bousfield triangles for modules that are direct limits of sequences of finite dimensional modules in terms of homotopy colimits.
We introduce the concept of a pseudo-cluster tilting subcategory from the viewpoint of the fact that the quotient of an exact category by a cluster tilting subcategory is an abelian category. We prove that the quotients in the case of pseudo-cluster tilting are always semi-abelian. In addition, it is abelian if and only if some self-orthogonal conditions are satisfied. We revisit the abelian quotient category of conflations by splitting ones, and get that there exists a unique exact substructure such that it is a cluster quotient.
We give a sufficient condition for a Verdier quotient $\ct/\cs$ of a triangulated category $\ct$ by a thick subcategory $\cs$ to be realized inside of $\ct$ as an ideal quotient. As applications, we deduce three significant results by Buchweitz, Orlov and Amiot--Guo--Keller.
We construct an A_infinity-category D(C|B) from a given A_infinity-category C and its full subcategory B. The construction is similar to a particular case of Drinfeld's quotient of differential graded categories. We use D(C|B) to construct an A_infinity-functor of K-injective resolutions of a complex. The conventional derived category is obtained as the 0-th cohomology of the quotient of differential graded category of complexes over acyclic complexes.
Keller introduced a notion of quotient of a differential graded category modulo a full differential graded subcategory which agrees with Verdier's notion of quotient of a triangulated category modulo a triangulated subcategory. This work is an attempt to further develop his theory. More than a half of the text is devoted to an overview of "well known" definitions and results. As a result, the e-print is essentially self-contained.
Infinity-categorical universal properties of quotients and localizations of A-infinity-categories
Center for Geometry and Physics (IBS), Pohang, Korea（韩国浦项几何与物理中心（IBS））；Department of Mathematics, POSTECH, Pohang Korea（韩国浦项科学技术大学数学系）；Department of Mathematics, Texas State University（德克萨斯州立大学数学系）
In this paper, we consider a kind of ideal quotient of an extriangulated category such that the ideal is the kernel of a functor from this extriangulated category to an abelian category. We study a condition when the functor is dense and full, in another word, the ideal quotient becomes abelian. Moreover, a new equivalent characterization of cluster-tilting subcategories is given by applying homological methods according to this functor. As an application, we show that in a connected 2-Calabi-Yau triangulated category B, a functorially finite, extension closed subcategory T of B is cluster til…
In order to study the problems of extending an action along a quotient of the acted object and along a quotient of the acting object, we investigate some properties of the fibration of points. In fact, we obtain a characterization of protomodular categories among quasi-pointed regular ones, and, in the semi-abelian case, a characterization of strong protomodular categories. Eventually, we return to the initial questions by stating the results in terms of internal actions.
In our previous article, we constructed an abelian category from any torsion pair on a triangulated category. This generalizes the heart of a $t$-structure and the ideal quotient by a cluster tilting subcategory. Recently, generalizing the quotient by a cluster tilting subcategory, Buan and Marsh showed that an integral preabelian category can be constructed as a quotient, from a rigid object in a triangulated category with some conditions. In this article, by considering a pair of torsion pairs, we make a simultaneous genralization of these two constructions.
We put cluster tilting in ageneral framework by showing that any quotient of a triangulated category modulo a tilting subcategory (that is, a maximal one-orthogonal subcategory) carries an abelian structure. These abelian quotients turn out to be module categories of Goreisten algebras of dimension at most one.
We consider the universal pivotal, symmetric, monoidal, $\Bbbk$-linear category, generated by a Schurian object with a skew-symmetric multiplication, and study some of its quotients. We show that these quotients give rise to either vector product algebras or representation categories of exceptional Lie algebras.
In this paper we study quotients of posets by group actions. In order to define the quotient correctly we enlarge the considered class of categories from posets to loopfree categories: categories without nontrivial automorphisms and inverses. We view group actions as certain functors and define the quotients as colimits of these functors. The advantage of this definition over studying the quotient poset (which in our language is the colimit in the poset category) is that the realization of the quotient loopfree category is more often homeomorphic to the quotient of the realization of the origi…
We show that the quotient of a Hom-finite triangulated category C by the kernel of the functor Hom(T, -), where T is a rigid object, is preabelian. We further show that the class of regular morphisms in the quotient admit a calculus of left and right fractions. It follows that the Gabriel-Zisman localisation of the quotient at the class of regular morphisms is abelian. We show that it is equivalent to the category of finite dimensional modules over the endomorphism algebra of T in C.
We consider the quotient of an exact or one-sided exact category $\mathcal{E}$ by a so-called percolating subcategory $\mathcal{A}$. For exact categories, such a quotient is constructed in two steps. Firstly, one localizes $\mathcal{E}$ at a suitable class $S_\mathcal{A} \subseteq \operatorname{Mor}(\mathcal{E})$ of morphisms. The localization $\mathcal{E}[S_\mathcal{A}^{-1}]$ need not be an exact category, but will be a one-sided exact category. Secondly, one constructs the exact hull $\mathcal{E}{/\mkern-6mu/} \mathcal{A}$ of $\mathcal{E}[S_\mathcal{A}^{-1}]$ and shows that this satisfies th…
In this article, we show that the localization of an extriangulated category by a multiplicative system satisfying mild assumptions can be equipped with a natural, universal structure of an extriangulated category. This construction unifies the Serre quotient of abelian categories and the Verdier quotient of triangulated categories. Indeed we give such a construction for a bit wider class of morphisms, so that it covers several other localizations appeared in the literature, such as Rump's localization of exact categories by biresolving subcategories, localizations of extriangulated categories…
We define filter quotients of $(\infty,1)$-categories and prove that filter quotients preserve the structure of an elementary $(\infty,1)$-topos and in particular lift the filter quotient of the underlying elementary topos. We then specialize to the case of filter products of $(\infty,1)$-categories and prove a characterization theorem for equivalences in a filter product. Then we use filter products to construct a large class of elementary $(\infty,1)$-toposes that are not Grothendieck $(\infty,1)$-toposes. Moreover, we give one detailed example for the interested reader who would like to see…
We propose a general method to construct new triangulated categories, relative stable categories, as additive quotients of a given one. This construction enhances results of Beligiannis, particularly in the tensor-triangular setting. We prove a birationality result showing that the original category and its relative stable quotient are equivalent on some open piece of their spectrum.
Given a pair of fusion categories $C$ and $D$, we may form the free product $C * D$ and the tensor product $C \boxtimes D$. It is natural to think of the tensor product as a quotient of the free product. What other quotients are possible? When $C=D=A_2$, there is an infinite family of quotients interpolating between the free product and the tensor product (closely related to the $A_{2n-1}^{(1)}$ and $D_{n+2}^{(1)}$ subfactors at index 4). Bisch and Haagerup discovered one example of such an intermediate quotient when $C=A_2$ and $D=T_2$, and suggested that there might be another family here. W…
For a composition-closed and pullback-stable class S of morphisms in a category C containing all isomorphisms, we form the category Span(C,S) of S-spans (s,f) in C with first "leg" s lying in S, and give an alternative construction of its quotient category C[S^{-1}] of S-fractions. Instead of trying to turn S-morphisms "directly" into isomorphisms, we turn them separately into retractions and into sections in a universal manner, thus obtaining the quotient categories Retr( C,S) and Sect(C,S). The fraction category C[S^{-1}] is their largest joint quotient category. Without confining S to be a …
We study the Grothendieck monoid (a monoid version of the Grothendieck group) of an extriangulated category, and give some results which are new even for abelian categories. First, we classify Serre subcategories and dense 2-out-of-3 subcategories using the Grothendieck monoid. Second, in good situations, we show that the Grothendieck monoid of the localization of an extriangulated category is isomorphic to the natural quotient monoid of the original Grothendieck monoid. This includes the cases of the Serre quotient of an abelian category and the Verdier quotient of a triangulated category. As…
In this paper, we introduce quotients of exact categories by percolating subcategories. This approach extends earlier localization theories by Cardenas and Schlichting for exact categories, allowing new examples. Let $\mathcal{A}$ be a percolating subcategory of an exact category $\mathcal{E}$, the quotient $\mathcal{E} {/\mkern-6mu/} \mathcal{A}$ is constructed in two steps. In the first step, we associate a set $S_\mathcal{A} \subseteq \operatorname{Mor}(\mathcal{E})$ to $\mathcal{A}$ and consider the localization $\mathcal{E}[S^{-1}_\mathcal{A}]$. In general, $\mathcal{E}[S_\mathcal{A}^{-1}…
We consider the categorical equivalence between crossed modules over groupoids and double groupoids with thin structures; and by this equivalence, we prove how normality and quotient concepts are related in these two categories and give some examples of these objects.
We prove that the category of models of any relational Horn theory satisfying a mild syntactic condition is infinitely extensive. Central examples of such categories include the categories of preordered sets and partially ordered sets, and the categories of small $\mathscr{V}$-categories, (symmetric) pseudo-$\mathscr{V}$-metric spaces, and (symmetric) $\mathscr{V}$-metric spaces for a commutative unital quantale $\mathscr{V}$. We also explicitly characterize initial sources and final sinks in such categories, and in particular embeddings and quotients.
In this article, we introduce the notion of pre-$(n+2)$-angulated categories as higher dimensional analogues of pre-triangulated categories defined by Beligiannis-Reiten. We first show that the idempotent completion of a pre-$(n+2)$-angulated category admits a unique structure of pre-$(n+2)$-angulated category. Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an $n$-exangulated category and $\mathscr{X}$ be a strongly functorially finite subcategory of $\mathscr{C}$. We then show that the quotient category $\mathscr{C}/\mathscr{X}$ is a pre-$(n+2)$-angulated category.These results allow to const…
Extended heart construction (I): The heart of $n$-cotorsion pairs on triangulated categories
Graduate School of Mathematics, Nagoya University（名古屋大学大学院数学研究科）；Department of Mathematical Sciences, University of the Ryukyus（冲绳大学数学科学系）；Faculty of Engineering Science, Kansai University（关西大学工程科学部）
