相关论文: Higher Dimensional Homology Algebra III:Projective…
In this paper, we will construct the projective resolution of any $\cR$-2-module, define the derived 2-functor and give some related properties of the derived 2-functor.
In this paper, we will construct the injective resolution of any $\cR$-2-module, define the right derived 2-functor, and give some related properties of the derived 2-functor in ($\cR$-2-Mod).
In this paper, we will prove that the 2-category (2-SGp) of symmetric 2-groups and 2-category ($\cR$-2-Mod) of $\cR$-2-modules(\cite{5}) have enough projective objects, respectively.
Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of ``additive groupoid enriched categories'', in which a secondary analog of homological algebra can…
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 associate to a 2-vector bundle over an essentially finite groupoid a 2-vector space of parallel sections, or, in representation theoretic terms, of higher invariants, which can be described as homotopy fixed points. Our main result is…
In the context of infinity categories, we rethink the notion of derived functor in terms of correspondences. This is especially convenient for the description of a passage from an adjoint pair (F,G) of functors to a derived adjoint pair…
This is the second paper in a series. In part I we developed deformation theory of objects in homotopy and derived categories of DG categories. Here we extend these (derived) deformation functors to an appropriate bicategory of artinian DG…
This is an extended version of my earlier articel "Projective and injective objects in symmetric categorical groups. arXiv:1007.0121v1." Several new facts added, including the material on the derived 2-functors and the proof of the…
A 2-group is a "categorified" version of a group, in which the underlying set G has been replaced by a category and the multiplication map has been replaced by a functor. Various versions of this notion have already been explored; our goal…
This paper develops the homological backbone of the theory of non-commutative $n$-ary $\Gamma$-semirings. Starting from an $n$-ary $\Gamma$-semiring $(T,+,\tilde{\mu})$ and its $\Gamma$-ideals, we work in the slot-sensitive categories of…
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…
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…
A general two dimensional fractional supersymmetric conformal field theory is investigated. The structure of the symmetries of the theory is studied. Then, applying the generators of the closed subalgebra generated by $(L_{-1}, L_{0},…
In this paper, we study the counterpart of Grothendieck's projectivization construction in the context of derived algebraic geometry. Our main results are as follows: First, we define the derived projectivization of a connective complex,…
In this paper we investigate homologically finite-dimensional objects in the derived category of a given small dg-enhanced triangulated category. Using these we define reflexivity, hfd-closedness, and the Gorenstein property for…
We introduce pseudocubical objects with pseudoconnections in an arbitrary category, obtained from the Brown-Higgins structure of a cubical object with connections by suitably relaxing their identities, and construct a cubical analog of the…
A model structure is defined on the category of derived differentiable schemes, and it is used to analyse the truncation 2-functor from derived manifolds to d-manifolds. It is proved that the induced 1-functor between the homotopy…
We describe derived moduli functors for a range of problems involving schemes and quasi-coherent sheaves, and give cohomological conditions for them to be representable by derived geometric n-stacks. Examples of problems represented by…
We show how one can do algebraic geometry with respect to the category of simplicial objects in an exact category. As a biproduct, we get a theory of derived analytic geometry.