A dedicated global model structure for K-linear ∞-local systems is constructed via simplicial chain complexes, monoidal for base 1-types under the external tensor product.
Krause, Deriving Auslander’s formula , Documenta Math
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
abstract
Auslander's formula shows that any abelian category C is equivalent to the category of coherent functors on C modulo the Serre subcategory of all effaceable functors. We establish a derived version of this equivalence. This amounts to showing that the homotopy category of injective objects of some appropriate Grothendieck abelian category (the category of ind-objects of C) is compactly generated and that the full subcategory of compact objects is equivalent to the bounded derived category of C. The same approach shows for an arbitrary Grothendieck abelian category that its derived category and the homotopy category of injective objects are well-generated triangulated categories. For sufficiently large cardinals alpha we identify their alpha-compact objects and compare them.
citation-role summary
background 1
citation-polarity summary
verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
The pushout of entangled and parameterized quantum information in monoidal categories yields the external tensor product on flat K-theory bundles.
citing papers explorer
-
A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems
A dedicated global model structure for K-linear ∞-local systems is constructed via simplicial chain complexes, monoidal for base 1-types under the external tensor product.
-
Entanglement of Sections: The pushout of entangled and parameterized quantum information
The pushout of entangled and parameterized quantum information in monoidal categories yields the external tensor product on flat K-theory bundles.