Related papers: Cubical Resolutions and Derived Functors

In this note we prove that the simplicial derived functors introduced by Tierney and Vogel [TV69] are naturally isomorphic to the cubical derived functors introduced by the author in [P09]. We also explain how this result generalizes the…

For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.

We construct a cubical analogue of the rigidification functor from quasi-categories to simplicial categories present in the work of Joyal and Lurie. We define a functor from the category of cubical sets of Doherty-Kapulkin-Lindsey-Sattler…

We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…

We define quasi--locally presentable categories as big unions of coreflective subcategories which are locally presentable. Under appropriate hypotheses we prove a representability theorem for exact contravariant functors defined on a…

We show that the category of simplicial sets is a co-reflective subcategory of the category of cubical sets with connections, with the inclusion given by a version of the straightening functor. We show that using the co-reflector, one can…

Derived equivalences and t-structures are closely related. We use realisation functors associated to t-structures in triangulated categories to establish a derived Morita theory for abelian categories with a projective generator or an…

We construct a model structure on the category of cubical sets with connections whose cofibrations are the monomorphisms and whose fibrant objects are defined by the right lifting property with respect to inner open boxes, the cubical…

Let C be small category and A an arbitrary category. Consider the category C(A) whose objects are functors from C to A, and whose morphisms are natural transformations. Given a functor F : A --> B one obtains an induced functor F_C : C(A)…

Suppose that $\mathcal{A}$ is an abelian category whose derived category $\mathcal{D}(\mathcal{A})$ has $Hom$ sets and arbitrary (small) coproducts, let $T$ be a (not necessarily classical) ($n$-)tilting object of $\mathcal{A}$ and let…

We define the path coalgebra and Gabriel quiver constructions as functors between the category of $k$-quivers and the category of pointed $k$-coalgebras, for $k$ a field. We define a congruence relation on the coalgebra side, show that the…

We generalize the construction of reflection functors from classical representation theory of quivers to arbitrary small categories with freely attached sinks or sources. These reflection morphisms are shown to induce equivalences between…

Expansions of abelian categories are introduced. These are certain functors between abelian categories and provide a tool for induction/reduction arguments. Expansions arise naturally in the study of coherent sheaves on weighted projective…

We study the homogeneous irreducible Severi-Brauer varieties over an Abelian variety $A$. Such objects were classified by Brion, \cite{Bri}. Here we interpret that result within the context of cubical structures and biextensions for certain…

Symmetric transverse sets were introduced to make the construction of the parallel product with synchronization for process algebras functorial. It is proved that one can do directed homotopy on symmetric transverse sets in the following…

From certain triangle functors, called non-negative functors, between the bounded derived categories of abelian categories with enough projective objects, we introduce their stable functors which are certain additive functors between the…

We show that given a rigid C*-tensor category, there is an equivalence of categories between normalized irreducible Q-systems, also known as connected unitary Frobenius algebra objects, and compact connected W*-algebra objects. Although…

If all objects of a simplicial combinatorial model category \cat A are cofibrant, then there exists the homotopy model structure on the category of small functors $\sS^{\cat A}$, where the fibrant objects are homotopy functors, i.e.,…

The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…

Chevalley's theorem states that every smooth connected algebraic group over a perfect field is an extension of an abelian variety by a smooth connected affine group. That fails when the base field is not perfect. We define a pseudo-abelian…