English
Related papers

Related papers: Filtered cocategories

200 papers

Let C be a coalgebra over a field k and A its dual algebra. The category of C-comodules is equivalent to a category of A-modules. We use this to interpret the cotensor product M \square N of two comodules in terms of the appropriate…

Rings and Algebras · Mathematics 2007-05-23 Lowell Abrams , Charles Weibel

For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the…

Representation Theory · Mathematics 2025-04-30 Alex Martsinkovsky

The construction of the cotensor coalgebra for an "abelian monoidal" category $\M$ which is also cocomplete, complete and AB5, was performed in [A. Ardizzoni, C. Menini and D. \c{S}tefan, \emph{Cotensor Coalgebras in Monoidal Categories},…

Category Theory · Mathematics 2010-08-27 A. Ardizzoni

We leverage the results of the prequel in combination with a theorem of D. Orlov to yield some results in Hodge theory of derived categories of factorizations and derived categories of coherent sheaves on varieties. In particular, we…

Algebraic Geometry · Mathematics 2014-05-14 Matthew Ballard , David Favero , Ludmil Katzarkov

Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary…

Logic in Computer Science · Computer Science 2015-07-01 Alexander Kurz , Jiri Rosicky

In this paper we take up again the deformation theory for $K$-linear pseudofunctors initiated in a previous work (Adv. Math. 182 (2004) 204-277). We start by introducing a notion of a 2-cosemisimplicial object in an arbitrary 2-category and…

Quantum Algebra · Mathematics 2013-08-13 Josep Elgueta

We construct a functor valued invariant of oriented tangles on certain singular blocks of category O. Parabolic subcategories of these blocks categorify tensor products of various fundamental sl(k) representations. Projective functors…

Quantum Algebra · Mathematics 2007-05-23 Joshua Sussan

For a $C^{*}$-category with a strict $G$-action we construct examples of equivariant coarse homology theories. To this end we first introduce versions of Roe categories of objects in $C^{*}$-categories which are controlled over bornological…

K-Theory and Homology · Mathematics 2023-06-21 Ulrich Bunke , Alexander Engel

We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…

Category Theory · Mathematics 2016-12-13 Amit Kuber , Jiří Rosický

We provide a new description of the hom functor on weak $\omega$-categories, and we show that it admits a left adjoint that we call the suspension functor. We then show that the hom functor preserves the property of being free on a…

Category Theory · Mathematics 2024-11-14 Thibaut Benjamin , Ioannis Markakis

This paper deals with properties of filtrations on vector spaces indexed by partially ordered finitely generated abelian groups, which we call multifiltrations. We discuss the usual properties of filtrations, like exhaustivity and…

Algebraic Geometry · Mathematics 2018-08-31 José Ignacio Burgos Gil , Vivek Mohan Mallick

We give the definitions of model bicategory and $q$-homotopy, which are natural generalizations of the notions of model category and homotopy to the context of bicategories. For any model bicategory $\mathcal{C}$, denote by…

Category Theory · Mathematics 2022-05-06 M. E. Descotte , E. J. Dubuc , M. Szyld

Let $\mathcal{X}$ be a semibrick in an extriangulated category $\mathscr{C}$. Let $\mathcal{T}$ be the filtration subcategory generated by $\mathcal{X}$. We give a one-to-one correspondence between simple semibricks and length wide…

Representation Theory · Mathematics 2020-10-12 Li Wang , Jiaqun Wei , Haicheng Zhang

This work presents an exposition of both the internal structure of derived category of an abelian category D*(A) and its contribution in solving problems, particularly in algebraic geometry. Calculation of some morphisms will be presented…

Algebraic Geometry · Mathematics 2019-04-02 Hafiz Syed Husain , Mariam Sultana

We explore some properties of wide subcategories of the category mod$\,(\Lambda)$ of finitely generated left $\Lambda$-modules, for some artin algebra $\Lambda.$ In particular we look at wide finitely generated subcategories and give a…

Rings and Algebras · Mathematics 2016-08-17 E. N. Marcos , O. Mendoza , C. Sáenz , V. Santiago

The filtered derived category of an abelian category has played a useful role in subjects including geometric representation theory, mixed Hodge modules, and the theory of motives. We develop a natural generalization using current methods…

K-Theory and Homology · Mathematics 2020-06-02 Owen Gwilliam , Dmitri Pavlov

This article provides some basic results on weight structures, weight complex functors and homotopy categories. We prove that the full subcategories K(A)^{w < n}, K(A)^{w > n}, K(A)^- and K(A)^+ (of objects isomorphic to suitably bounded…

Category Theory · Mathematics 2011-07-07 Olaf M. Schnürer

We introduce a very general extension of the monomorphism category as studied by Ringel and Schmidmeier which in particular covers generalised species over locally bounded quivers. We prove that analogues of the kernel and cokernel functor…

Representation Theory · Mathematics 2021-09-09 Nan Gao , Julian Külshammer , Sondre Kvamme , Chrysostomos Psaroudakis

One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks with inputs and outputs. Given a functor $L \colon…

Category Theory · Mathematics 2020-11-11 John C. Baez , Kenny Courser

Two natural symplectic constructions, the Lagrangian suspension and Seidel's quantum representation of the fundamental group of the group of Hamiltonian diffeomorphisms, Ham(M), with (M,\omega) a monotone symplectic manifold, admit…

Symplectic Geometry · Mathematics 2015-01-14 François Charette , Octav Cornea