Delooping of the K-theory of strictly derivable Waldhausen categories

Abstract: In this short note, for a morphism of Waldhausen categories

f c o l o n m a t h b b A = (m a t h c a l A, w_{m a t h b b A}) o m a t h b b B = (m a t h c a l B, w_{m a t h b b B})

, we will define

o p e r a t o r n a m e C o n e f

to be a Waldhausen category. There exists the canonical morphism of Waldhausen categories

k a p p a_{f} c o l o n m a t h b b B o o p e r a t o r n a m e C o n e f

. We will show that the sequence

m a t h b b A o v e r s e t f o m a t h b b B o v e r s e t k a p p a_{f} o o p e r a t o r n a m e C o n e f

induces fibration sequence of spaces

K (m a t h b b A) o v e r s e t K (f) o K (m a t h b b B) o v e r s e t K (k a p p a_{f}) o K (o p e r a t o r n a m e C o n e f)

on connective

K

-theory. Moreover we will define a notion of strictly derivable Waldhausen categories and define non-connective

K

-theory for strictly derivable Waldhausen categories.

This page was built for publication: Delooping of the $K$-theory of strictly derivable Waldhausen categories