5,562 research outputs found
The strong K\"unneth theorem for topological periodic cyclic homology
Topological periodic cyclic homology (i.e., -Tate of ) has
the structure of a strong symmetric monoidal functor of smooth and proper dg
categories over a perfect field of finite characteristic
Experience with a software engineering environment framework
Experience with a software engineering environment framework tool called the Automated Product Control Environment (APCE) is described. The goals of the framework design, an overview of the major functions and features of the framework, and implementation and use of the framework are presented. Aspects of the framework discussed include automation and control; portability, distributability, and interoperability; cost/benefit analysis; and productivity. Results of using the framework are discussed and the framework approach is briefly compared to other software development environment approaches
Algebraic K-theory and abstract homotopy theory
We decompose the K-theory space of a Waldhausen category in terms of its
Dwyer-Kan simplicial localization. This leads to a criterion for functors to
induce equivalences of K-theory spectra that generalizes and explains many of
the criteria appearing in the literature. We show that under mild hypotheses, a
weakly exact functor that induces an equivalence of homotopy categories induces
an equivalence of K-theory spectra.Comment: Final versio
- …