Related papers: Maltsiniotis's first conjecture for K_1

We define a $K$-theory for pointed right derivators and show that it agrees with Waldhausen $K$-theory in the case where the derivator arises from a good Waldhausen category. This $K$-theory is not invariant under general equivalences of…

In this paper we show an example of two differential graded algebras that have the same derivator K-theory but non-isomorphic Waldhausen K-theory. We also prove that Maltsiniotis's comparison and localization conjectures for derivator…

In this paper we introduce a new approach to determinant functors which allows us to extend Deligne's determinant functors for exact categories to Waldhausen categories, (strongly) triangulated categories, and derivators. We construct…

The additivity theorem for derivateurs associated to complicial biWaldhausen categories is proved. Also, to any exact category in the sense of Quillen a K-theory space is associated. This K-theory is shown to satisfy the additivity,…

We give a simple representation of all elements in K_1 of a Waldhausen category and prove relations between these representatives which hold in K_1.

To any left system of diagram categories or to any left pointed derivateur (in the sense of Grothendieck) a K-theory space is associated. This K-theory space is shown to be canonically an infinite loop space and to have a lot of common…

Recent work of Biedermann and R\"ondigs has translated Goodwillie's calculus of functors into the language of model categories. Their work focuses on symmetric multilinear functors and the derivative appears only briefly. In this paper we…

For every $\infty$-category $\mathscr{C}$, there is a homotopy $n$-category $\mathrm{h}_n \mathscr{C}$ and a canonical functor $\gamma_n \colon \mathscr{C} \to \mathrm{h}_n \mathscr{C}$. We study these higher homotopy categories, especially…

We prove that a triangulated category which is the underlying category of a stable derivator has a filtered enhancement, providing an affirmative answer to a conjecture in [3].

Using the formalism of Grothendieck's derivators, we construct `the universal localizing invariant of dg categories'. By this, we mean a morphism U_l from the pointed derivator associated with the Morita homotopy theory of dg categories to…

Waldhausen categories were introduced to extend algebraic $K$-theory beyond Quillen's exact categories. In this article, we modify Waldhausen's axioms so that it matches better with the theory of extriangulated categories, introducing a…

We develop a new framework to study real $K$-theory in the context of $\infty$-categories. For this, we introduce Waldhausen $\infty$-categories with genuine duality, which will be the input for such $K$-theory. These are Waldhausen…

We prove a modified version of Previdi's conjecture stating that the Waldhausen space (K-theory space) of an exact category is delooped by the Waldhausen space (K-theory space) of Beilinson's category of generalized Tate vector spaces. Our…

In his "Algebraic K-theory of topological spaces II" Waldhausen proved that his functor A(X) splits: There is a canonical map from the stable homotopy of X which has a retraction up to weak equivalence. We adapt Waldhausen's proof to obtain…

This paper contains a construction of generators and partial relations for $K_1$ of a simplicial Waldhausen category where cofiber sequences split up to weak equivalence. The main application of these generators and relations is to produce…

Let $X$ be a simplicial set. We construct a novel adjunction between the categories of retractive spaces over $X$ and of $X_{+}$-comodules, then apply recent work on left-induced model category structures (arXiv:1401.3651v2…

We build on work of Muro-Raptis in [Ann. K-Theory 2 (2017), no. 2, 303-340] and Cisinski-Neeman in [Adv. Math. 217 (2008), no. 4, 1381-1475] to prove that the additivity of derivator K-theory holds for a large class of derivators that we…

Considering classical first-order logic with equality, we give a "fully syntactic" construction of the (weak) syntactic category $\text{Syn}(T)$ associated to a consistent theory $T$; we show it is a consistent coherent category; and we…

This is the first in a series of papers in which we study representations of the Brauer category and its allies. We define a general notion of triangular category that abstracts key properties of the triangular decomposition of a semisimple…

We establish an analogue of the first fundamental theorem of calculus for functions defined on the Wasserstein space of probability measures. Precisely, we show that if a function on the Wasserstein space is sufficiently regular in the…